A symbolic symbolic state space representation

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

Volumn 3235, Issue , 2004, Pages 276-291

  Thierry Mieg, Yann ^a   Ilié, Jean Michel ^a   Poitrenaud, Denis ^a  

^a UNIVERSITÉ PIERRE ET MARIE CURIE   (France)

Author keywords

Decision diagrams; Symbolic model checking; Symbolic reachability graph; Symmetry detection; Well formed petri nets

Indexed keywords

PETRI NETS; STATE SPACE METHODS;

APPLICATION SPECIFIC; DATA REPRESENTATIONS; DECISION DIAGRAM; STATE-SPACE EXPLOSION; SYMBOLIC MODEL CHECKING; SYMBOLIC REACHABILITY; SYMBOLIC STATE SPACE; SYMMETRY DETECTION;

MODEL CHECKING;

EID: 35048896475     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-540-30232-2_18     Document Type: Article

References (11)

1. G. Chiola, C. Dutheillet, G. Franceschinis, and S. Haddad. Stochastic well-formed colored nets and symmetric modeling applications. IEEE Transactions on Computers, 42(11): 1343-1360, 1993.
2. G. Ciardo, G. Lüttgen, and R. Siminiceanu. Efficient symbolic state-space construction for asynchronous systems. In Proc. of ICATPN'2000, volume 1825 of Lecture Notes in Computer Science, pages 103-122. Springer Verlag, June 2000.
3. E.M. Clarke, R. Enders, T. Filkorn, and S. Jha. Exploiting symmetry in temporal logic model checking. Formal Methods in System Design, 9(l-2):77-104, 1996.
4. J.-M. Couvreur, E. Encrenaz, E. Paviot-Adet, D. Poitrenaud, and P.-A. Wacrenier. Data decision diagrams for Petri net analysis. In Proc. of ICATPN' 2002, volume 2360 of Lecture Notes in Computer Science, pages 101-120. Springer Verlag, June 2002.
5. J.-M. Couvreur and E. Paviot-Adet. New structural invariant for Petri net analysis. In Proc. of ICATPN' 1994, volume 815 of Lecture Notes in Computer Science, pages 199218. Springer Verlag, June 1994.
6. S. Haddad, J.-M. Hie, and K. Ajami. A model checking method for partially symmetric systems. In Proc. of FORTE/PSTV'2000, pages 121-136. Kluwer, 2000.
7. K. Jensen. Coloured Petri nets. In Petri Nets: Central Model and their Properties, Advances in Petri Nets 86, volume 254 of Lecture Notes in Computer Science, pages 248-299. Springer Verlag, September 1986.
8. T. Junttila. New canonical representative marking algorithms for place/transition-nets. In Proc. of ICATPN' 2004, Lecture Notes in Computer Science. Springer Verlag, June 2004.
9. K. Klai. Réseaux de Petri : Vérification Symbolique et Modulaire (chapter 3). PhD thesis, Laboratoire d'Informatique de Paris 6, December 2003.
10. Y. Thierry-Mieg, C. Dutheillet, and I. Mounier. Automatic symmetry detection in wellformed nets. In Proc. of ICATPN'2003, volume 2679 of Lecture Notes in Computer Science, pages 82-101. Springer Verlag, June 2003.
11. B. Yang, R.E. Bryant, D.R. O'Hallaron, A. Biere, O. Coudert, G. Janssen, R.K. Ranjan, and F. Somenzi. A performance study of BDD-based model checking. In Proc. of FMCAD'98, pages 255-289, 1998.