Crocodile: A symbolic/symbolic tool for the analysis of symmetric nets with bag

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 6709 LNCS, Issue , 2011, Pages 338-347

  Colange, M ^a   Baarir, S ^b   Kordon, F ^a   Thierry Mieg, Y ^a  

^a UNIVERSITÉ PIERRE ET MARIE CURIE   (France)

^b UNIVERSITÉ PARIS OUEST NANTERRE LA DÉFENSE   (France)

Author keywords

Hierarchical Set Decision Diagrams; Model Checking; Symmetric Nets with Bags; Symmetries based techniques

Indexed keywords

COLORED PETRI NETS; DECISION DIAGRAM; HIGH-LEVEL NETS; MODEL CHECKER; MODELING ENVIRONMENTS; MODELING TECHNIQUE; PROOF OF CONCEPT; QUOTIENT GRAPHS; QUOTIENT STATE-SPACES; STATE SPACE; STRUCTURED SPECIFICATION; SYMMETRIC NETS; SYMMETRIES-BASED TECHNIQUES;

DECISION THEORY; PETRI NETS; STATE SPACE METHODS;

MODEL CHECKING;

EID: 79960096959     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-642-21834-7_20     Document Type: Conference Paper

References (14)

1. Babar, J., Beccuti, M., Donatelli, S., Miner, A.: GreatSPN Enhanced with Decision Diagram Data Structures. In: Lilius, J., Penczek, W. (eds.) PETRI NETS 2010. LNCS, vol. 6128, pp. 308-317. Springer, Heidelberg (2010)
2. Chiola, G., Dutheillet, C., Franceschinis, G., Haddad, S.: On well-formed coloured nets and their symbolic reachability graph. In: Jensen, K., Rozenberg, G. (eds.) Procedings of the 11th International Conference on Application and Theory of PetriNets (ICATPN1990).
3. Reprinted in High-Level Petri Nets, Theory and Application. Springer, Heidelberg (1991)
4. Chiola, G., Dutheillet, C., Franceschinis, G., Haddad, S.: A symbolic reachability graph for coloured Petri nets. Theoretical Computer Science 176(1-2), 39-65 (1997)
5. Couvreur, J.-M., Encrenaz, E., Paviot-Adet, E., Poitrenaud, D., Wacrenier, P.-A.: Data decision diagrams for petri net analysis. In: Esparza, J., Lakos, C.A. (eds.) ICATPN 2002. LNCS, vol. 2360, pp. 1-101. Springer, Heidelberg (2002)
6. Couvreur, J.-M., Thierry-Mieg, Y.: Hierarchical decision diagrams to exploit model structure. In:Wang, F. (ed.) FORTE 2005. LNCS, vol. 3731, pp. 443-457. Springer, Heidelberg (2005)
7. GreatSPN. Petri nets suite, http://www.di.unito.it/~greatspn
8. Haddad, S., Kordon, F., Petrucci, L., Pradat-Peyre, J.-F., Trèves, N.: Efficient State-Based Analysis by Introducing Bags in Petri Net Color Domains. In: 28th American Control Conference (ACC 2009), pp. 5018-5025. Omnipress IEEE, St-Louis (2009)
9. Junttila, T.: On the symmetry reduction method for Petri Nets and similar formalisms. PhD thesis, Helsinki University of Technology, Espoo, Finland (2003)
10. MoVe team. The coloane home page, http://move.lip6.fr/software/COLOANE
11. MoVe team. The libddd home page, http://move.lip6.fr/software/DDD
12. Murphi. Murphi description language and verifier, http://verify.stanford. edu/dill/murphi.html
13. SUMO 2011. Sumo model checking contest, http://sumo.lip6.fr/Model- Checking-Contest.html
14. Thierry-Mieg, Y., Ilié, J.-M., Poitrenaud, D.: A symbolic symbolic state space representation. In: de Frutos-Escrig, D., Núñez, M. (eds.) FORTE 2004. LNCS, vol. 3235, pp. 276-291. Springer, Heidelberg (2004)