Crocodile swMATH ID: 9769 Software Authors: Colange, M.; Baarir, S.; Kordon, F.; Thierry-Mieg, Y. Description: 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. Homepage: http://link.springer.com/chapter/10.1007%2F978-3-642-21834-7_20 Keywords: symmetric nets with bags; model checking; symmetries-based techniques; hierarchical set decision diagrams Related Software: Helena; AlPiNA; GreatSPN Cited in: 2 Publications all top 5 Cited by 7 Authors 1 Baarir, Souheib 1 Colange, Maximilien 1 de Frutos-Escrig, David 1 Kordon, Fabrice 1 Koutny, Maciej 1 Mikulski, Łukasz 1 Thierry-Mieg, Yann Cited in 1 Serial 1 Fundamenta Informaticae Cited in 1 Field 2 Computer science (68-XX) Citations by Year