Skip to Main content Skip to Navigation
New interface
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 metadata

Cited literature [30 references]  Display  Hide  Download
Contributor : Frédéric Davesne Connect in order to contact the contributor
Submitted on : Tuesday, October 8, 2019 - 9:33:23 AM
Last modification on : Saturday, May 1, 2021 - 3:49:50 AM


Files produced by the author(s)



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⟩



Record views


Files downloads