Skip to Main content Skip to Navigation
Conference papers

Quickly prototyping Petri nets tools with SNAKES

Abstract : This paper presents the toolkit SNAKES that is aimed at providing a flexible solution to the problem of quickly prototyping Petri nets tools. In particular, SNAKES is expected to have as few built-in limitations as possible with respect to the particular variant of Petri net to be used. The goal is to make SNAKES suitable for any kind of Petri net model, including new ones for which there exists no available tool. For this purpose, SNAKES is designed as a very general Petri net core library enriched with a set of extension modules to provide specialised features. On the one hand, the core library is versatile in that it defines a general Petri net structure where all the computational aspects are delegated to an interpreted programming language. On the other hand, the extension modules provide with enough flexibility to allow to redefine easily any part of the base Petri net model. SNAKES is released under the BN LGPL, it can be downloaded at soft/snakes with the API documentation and a tutorial.
Document type :
Conference papers
Complete list of metadata

Cited literature [28 references]  Display  Hide  Download
Contributor : Franck Pommereau Connect in order to contact the contributor
Submitted on : Wednesday, October 9, 2019 - 4:01:34 PM
Last modification on : Tuesday, October 19, 2021 - 4:07:36 PM


Files produced by the author(s)


  • HAL Id : hal-02309814, version 1



Franck Pommereau. Quickly prototyping Petri nets tools with SNAKES. International Workshop on Petri Nets Tools and APplications PNTAP 2008,, Mar 2008, Marseille, France. ⟨hal-02309814⟩



Record views


Files downloads