• français
    • English
  • English 
    • français
    • English
  • Login
JavaScript is disabled for your browser. Some features of this site may not work without it.
BIRD Home

Browse

This CollectionBy Issue DateAuthorsTitlesSubjectsJournals BIRDResearch centres & CollectionsBy Issue DateAuthorsTitlesSubjectsJournals

My Account

Login

Statistics

View Usage Statistics

Symbolic Reachability Graph and Partial Symmetries

Thumbnail
Date
1995
Collection title
Lecture Notes in Computer Science
Collection Id
935
Dewey
Informatique générale
Sujet
Well-Formed Petri nets; Symbolic Reachability graphs; Partial Symmetries
DOI
http://dx.doi.org/10.1007/3-540-60029-9_43
Conference name
Sixteenth International Conference on application and theory of Petri nets (ICATPN 1995)
Conference date
06-1995
Conference city
Turin
Conference country
Italie
Book title
Application and Theory of Petri Nets 1995, 16th International Conference, Turin, Italy, June 26-30, 1995, Proceedings
Author
De Michelis, Giorgio; Diaz, Michel
Publisher
Springer
Publisher city
Berlin
Year
1995
Pages number
511
ISBN
3-540-60029-9
Book URL
http://dx.doi.org/10.1007/3-540-60029-9
URI
https://basepub.dauphine.fr/handle/123456789/5581
Collections
  • LAMSADE : Publications
Metadata
Show full item record
Author
Haddad, Serge
Ilié, Jean-Michel
Taghelit, Mohamed
Zouari, Belhassen
Type
Communication / Conférence
Item number of pages
238-257
Abstract (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.

  • Accueil Bibliothèque
  • Site de l'Université Paris-Dauphine
  • Contact
SCD Paris Dauphine - Place du Maréchal de Lattre de Tassigny 75775 Paris Cedex 16

 Content on this site is licensed under a Creative Commons 2.0 France (CC BY-NC-ND 2.0) license.