Crocodile: a Symbolic/Symbolic tool for the analysis of Symmetric Nets with Bag - Archive ouverte HAL Accéder directement au contenu
Communication Dans Un Congrès Année : 2011

Crocodile: a Symbolic/Symbolic tool for the analysis of Symmetric Nets with Bag

Maximilien Colange
  • Fonction : Auteur
  • PersonId : 971687
Souheib Baarir
Fabrice Kordon
Yann Thierry-Mieg

Résumé

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). 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.
Fichier principal
Vignette du fichier
pn_2011.pdf (226.48 Ko) Télécharger le fichier
Crocodile_A_SymbolicSymbolic_Tool_for_the_Analysis.pdf (227.49 Ko) Télécharger le fichier
Origine : Fichiers produits par l'(les) auteur(s)

Dates et versions

hal-01282493 , version 1 (18-03-2024)

Identifiants

Citer

Maximilien Colange, Souheib Baarir, Fabrice Kordon, Yann Thierry-Mieg. Crocodile: a Symbolic/Symbolic tool for the analysis of Symmetric Nets with Bag. 32nd International Conference on Petri Nets and Other Models of Concurrency (ICATPN 2011), Jun 2011, Newcastle, United Kingdom. pp.338-347, ⟨10.1007/978-3-642-21834-7_20⟩. ⟨hal-01282493⟩
128 Consultations
0 Téléchargements

Altmetric

Partager

Gmail Facebook X LinkedIn More