AlPiNA: An algebraic Petri net analyzer

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

Volumn 6015 LNCS, Issue , 2010, Pages 349-352

  Buchs, Didier ^a   Hostettler, Steve ^a   Marechal, Alexis ^a   Risoldi, Matteo ^a  

^a UNIVERSITY OF GENEVA   (Switzerland)

Author keywords

[No Author keywords available]

Indexed keywords

ALGEBRAIC PETRI NETS; COMPLEX MODEL; DECISION DIAGRAM; GRAPHICAL EDITORS; HIGH-LEVEL PETRI NETS; MODEL CHECKER; NOVEL TECHNIQUES; REACHABILITY; SYMBOLIC MODEL CHECKING; USER FRIENDLY INTERFACE;

ALGEBRA; COMPUTER SOFTWARE; GRAPH THEORY; PETRI NETS;

MODEL CHECKING;

EID: 77951572315     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-642-12002-2_29     Document Type: Conference Paper

References (12)

1. Bryant, R.E.: Graph-based algorithms for boolean function manipulation. Transactions on Computers C-35, 677-691 (1986)
2. Buchs, D., Hostettler, S.: Managing complexity in model checking with decision diagrams for algebraic petri net. In: Moldt, D. (ed.) Pre-proceedings of the International Workshop on Petri Nets and Software Engineering, pp. 255-271 (2009), http://smv.unige.ch/publications/pdfs/pnse09.pdf
3. Buchs, D., Hostettler, S.: Sigma Decision Diagrams: Toward efficient rewriting of sets of terms. In: Corradini, A. (ed.) TERMGRAPH 2009: Preliminary proceedings of the 5th International Workshop on Computing with Terms and Graphs, number TR-09-05 in TERMGRAPH workshops, Università di Pisa, pp. 18-32 (2009), http://smv.unige.ch/publications/pdfs/termgraph09.pdf
4. 20 states and beyond. Inf. Comput. 98(2), 142-170 (1992)
5. Ciardo, G., Lüttgen, G., Siminiceanu, R.: Efficient symbolic state-space construction for asynchronous systems. In: Nielsen, M., Simpson, D. (eds.) ICATPN 2000. LNCS, vol. 1825, pp. 103-122. Springer, Heidelberg (2000)
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. CPN Group. CPN tools, http://wiki.daimi.au.dk/cpntools/cpntools.wiki
8. Eclipse. Eclipse modeling project, http://www.eclipse.org/modeling/
9. Hamez, A., Thierry-Mieg, Y., Kordon, F.: Hierarchical set decision diagrams and automatic saturation. In: Petri Nets, pp. 211-230 (2008)
10. Mäkelä, M.: Modular reachability analyzer, http://www.tcs.hut. fi/Software/maria/
11. Pajault, C., Evangelista, S.: High level net analyzer, http://helena.cnam.fr/
12. Valmari, A.: The state explosion problem. In: Lectures on Petri Nets I: Basic Models, Advances in Petri Nets, the volumes are based on the Advanced Course on Petri Nets, London, UK, pp. 429-528. Springer, Heidelberg (1998)