Symbolic Reachability Graph and Partial Symmetries
Haddad, Serge; Ilié, Jean-Michel; Taghelit, Mohamed; Zouari, Belhassen (1995), Symbolic Reachability Graph and Partial Symmetries, in De Michelis, Giorgio; Diaz, Michel, Application and Theory of Petri Nets 1995, 16th International Conference, Turin, Italy, June 26-30, 1995, Proceedings, Springer : Berlin, p. 238-257. http://dx.doi.org/10.1007/3-540-60029-9_43
Type
Communication / ConférenceDate
1995Conference title
Sixteenth International Conference on application and theory of Petri nets (ICATPN 1995)Conference date
1995-06Conference city
TurinConference country
ItalieBook title
Application and Theory of Petri Nets 1995, 16th International Conference, Turin, Italy, June 26-30, 1995, ProceedingsBook author
De Michelis, Giorgio; Diaz, MichelPublisher
Springer
Series title
Lecture Notes in Computer ScienceSeries number
935Published in
Berlin
ISBN
3-540-60029-9
Number of pages
511Pages
238-257
Publication identifier
Metadata
Show full item recordAbstract (EN)
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.Subjects / Keywords
Well-Formed Petri nets; Symbolic Reachability graphs; Partial SymmetriesRelated items
Showing items related by title and author.
-
Baarir, Souheib; Haddad, Serge; Ilié, Jean-Michel (2005) Communication / Conférence
-
Haddad, Serge; Taghelit, Mohamed; Zouari, Belhassen (1993) Communication / Conférence
-
Haddad, Serge; Ilié, Jean-Michel; Taghelit, Mohamed; Dutheillet, Claude; Moreaux, Patrice (1997) Article accepté pour publication ou publié
-
Haddad, Serge; Taghelit, Mohamed; Zouari, Belhassen (1996) Article accepté pour publication ou publié
-
Zouari, Belhassen; Taghelit, Mohamed; Haddad, Serge (1993) Communication / Conférence