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

Abstract : 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.
Document type :
Conference papers
Complete list of metadatas

https://hal.archives-ouvertes.fr/hal-01282493
Contributor : Lip6 Publications <>
Submitted on : Thursday, March 3, 2016 - 5:12:17 PM
Last modification on : Tuesday, May 14, 2019 - 11:02:06 AM

Links full text

Identifiers

Citation

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⟩

Share

Metrics

Record views

186