Crocodile: a symbolic/symbolic tool for the analysis of symmetric nets with bag. The use of high-level nets, such as colored Petri nets, is very convenient for modeling complex systems in order to have a compact, readable and structured specification. Symmetric Nets with Bags (SNB) were introduced to cope with this goal without introducing a burden due to the underlying complexity of the state space. The structure of bags allows through exploitation of symmetries to provide a compact quotient state space representation (similarly to the construction proposed in GreatSPN).par In this paper, we present Crocodile, the first implementation of a modeling environment and model checker dedicated to SNB. Its goal is first to be a proof of concept for experimenting the quotient graph techniques together with hierarchical set decision diagrams. A second objective is to enable experimentation of modeling techniques with this new class of Petri nets.
Keywords for this software
References in zbMATH (referenced in 2 articles )
Showing results 1 to 2 of 2.
- Kordon, Fabrice; Linard, Alban; Buchs, Didier; Colange, Maximilien; Evangelista, Sami; Lampka, Kai; Lohmann, Niels; Paviot-Adet, Emmanuel; Thierry-Mieg, Yann; Wimmel, Harro: Report on the model checking contest at Petri nets 2011 (2012)
- Colange, M.; Baarir, S.; Kordon, F.; Thierry-Mieg, Y.: Crocodile: a symbolic/symbolic tool for the analysis of symmetric nets with bag (2011)