Skip to Main content Skip to Navigation
Conference papers

SNAKES: A flexible high-level Petri nets library

Abstract : SNAKES (SNAKES is the Net Algebra Kit for Editors and Simulators) is a general purpose Petri nets library, primarily for the Python programming language but portable to other ones. It defines a very general variant of Python-coloured Petri nets that can be created and manipulated through the library, as well as executed to explore state spaces. Thanks to a variety of plugins, SNAKES can handle extensions of Petri nets, in particular algebras of Petri nets [4,26]. SNAKES ships with a compiler for the ABCD language that is precisely such an algebra. Finally, one can use the companion tool Neco [14] that compiles a Petri net into an optimised library allowing to compute efficiently its state space or perform LTL model-checking thanks to library SPOT [8,13]. This paper describes SNAKES’ structure and features.
Document type :
Conference papers
Complete list of metadatas

Cited literature [30 references]  Display  Hide  Download

https://hal.archives-ouvertes.fr/hal-01186407
Contributor : Frédéric Davesne <>
Submitted on : Tuesday, October 8, 2019 - 9:33:23 AM
Last modification on : Tuesday, June 30, 2020 - 11:56:10 AM

File

snakes.pdf
Files produced by the author(s)

Identifiers

Citation

Franck Pommereau. SNAKES: A flexible high-level Petri nets library. 36th International Conference on Application and Theory of Petri Nets and Concurrency (Petri Nets 2015), Jun 2015, Brussels, Belgium. pp.254--265, ⟨10.1007/978-3-319-19488-2_13⟩. ⟨hal-01186407⟩

Share

Metrics

Record views

97

Files downloads

107