Automatic symmetry detection in well-formed nets

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

Volumn 2679, Issue , 2003, Pages 82-101

  Thierry Mieg, Yann ^a   Dutheillet, Claude ^a   Mounier, Isabelle ^a  

^a UNIVERSITÉ PIERRE ET MARIE CURIE   (France)

Author keywords

Partial symmetry; Symbolic model checking; Symmetry detection; Well Formed Petri nets

Indexed keywords

COMPUTATION THEORY; EQUIVALENCE CLASSES;

AUTOMATIC CONSTRUCTION; HIGH-LEVEL PETRI NETS; REACHABILITY GRAPHS; STATE-SPACE EXPLOSION; SYMBOLIC ANALYSIS; SYMBOLIC MODEL CHECKING; SYMBOLIC REACHABILITY; SYMMETRY DETECTION;

PETRI NETS;

EID: 35248831096     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/3-540-44919-1_9     Document Type: Article

References (13)

1. CPN-AMI: a Petri net based CASE environment, url: http://www-src.lip6.fr/cpn-ami.
2. 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.
3. G. Chiola, C. Dutheillet, G. Franceschinis, and S. Haddad. A symbolic reachability graph for coloured Petri nets. Theoretical Computer Science, 176(1-2):39-65, 1997.
4. th Int. Workshop on Petri Nets and Performance Models, pages 144-153, Melbourne, Australia, December 1991.
5. C.N. Ip and D.L. Dill. Better verification through symmetry. In D. Agnew, L. Claesen, and R. Camposano, editors. Computer Hardware Description Languages and their Applications, pages 87-100, Ottawa, Canada, 1993. Elsevier Science Publishers B.V., Amsterdam, Netherland.
6. D. Regep, Y. Thierry-Mieg, F. Gilliers, and F. Kordon. Modélisation et vérification de systèmes répartis : une approche intégrée avec LfP. In AFADL 2003,Approches Formelles dans l'Assistance au Développement de Logiciels. INRIA, proceedings, January 2003.
7. M. Doche, I. Vernier-Mounier, and F. Kordon. A modular approach to the specification and validation of an electrical flight control system. In FME'01, Formal Methods for Increasing Software Productivity, pages 590-610, Berlin, Germany, March 2001. Springer Verlag.
8. ∼greatspn/.
9. J-C. Fernandez, C. Jard, T. Jeron, and C. Viho. An experiment in automatic generation of test suites for protocols with verification technology. Science of Computer Programming, 29(1-2):123-146, 1997.
10. Serge Haddad, Jean Michel Ilie, M. Taghelit, and B. Zouari. Symbolic reachability graph and partial symmetries. In Application and Theory of Petri Nets, pages 238-257, 1995.
11. D. Poitrenaud and J-F. Pradat-Peyre. Pre- and post-agglomeration for [t] model-checking. Lecture Notes in Computer Science, 1825:387-408, 2000.
12. D. Regep and F. Kordon. LfP: a specification language for rapid prototyping of concurrent systems. In 12th IEEE International Workshop on Rapid System Prototyping, June 2001.
13. V. Rusu, L. du Bousquet, and T. Jéron. An approach to symbolic test generation. In 2nd International Workshop on Integrated Formal Method (IFM'00), number 1945 in LNCS, pages 338-357, Dagstuhl, Germany, 2000. Springer-Verlag.