Date
1995
Titre de la collection
Lecture Notes in Computer Science
n° dans la collection
935
Indexation documentaire
Informatique générale
Subject
Well-Formed Petri nets; Symbolic Reachability graphs; Partial Symmetries
Titre du colloque
Sixteenth International Conference on application and theory of Petri nets (ICATPN 1995)
Date du colloque
06-1995
Ville du colloque
Turin
Pays du colloque
Italie
Titre de l'ouvrage
Application and Theory of Petri Nets 1995, 16th International Conference, Turin, Italy, June 26-30, 1995, Proceedings
Auteur
De Michelis, Giorgio; Diaz, Michel
Nom de l'éditeur
Springer
Ville de l'éditeur
Berlin
Année
1995
Nombre total de pages
511
ISBN
3-540-60029-9
Auteur
Haddad, Serge
Ilié, Jean-Michel
Taghelit, Mohamed
Zouari, Belhassen
Type
Communication / Conférence
Nombre de pages du document
238-257
Résumé en anglais
The construction of symbolic reachability graphs is a useful technique for reducing state explosion in High-level Petri nets. Such a reduction is obtained by exploiting the symmetries of the whole net [1]. In this paper, we extend this method to deal with partial symmetries. In a first time, we introduce an example which shows the interest and the principles of our method. Then we develop the general algorithm. Lastly we enumerate the properties of this Extended Symbolic Reachability Graph, including the reachability equivalence.
