SNAKES: A flexible high-level Petri nets library - Archive ouverte HAL Accéder directement au contenu
Communication Dans Un Congrès Année : 2015

SNAKES: A flexible high-level Petri nets library

Résumé

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
Origine : Fichiers produits par l'(les) auteur(s)
Loading...

Dates et versions

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

Identifiants

Citer

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⟩
105 Consultations
837 Téléchargements

Altmetric

Partager

Gmail Facebook X LinkedIn More