SNAKES: A flexible high-level Petri nets library - Archive ouverte HAL Access content directly
Conference Papers Year :

SNAKES: A flexible high-level Petri nets library


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.
Fichier principal
Vignette du fichier
snakes.pdf (277.96 Ko) Télécharger le fichier
Origin : Files produced by the author(s)

Dates and versions

hal-01186407 , version 1 (08-10-2019)



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⟩
85 View
739 Download



Gmail Facebook Twitter LinkedIn More