On the Reversibility of Live Equal-Conflict Petri Nets - Sorbonne Université Accéder directement au contenu
Communication Dans Un Congrès Année : 2015

On the Reversibility of Live Equal-Conflict Petri Nets

Résumé

A Petri net is reversible if its initial marking is a home marking, a marking reachable from any reachable marking. This property is fundamental in man-made systems as it lets a system return to its initial state using only internal operations. Necessary and sufficient conditions are already known for the reversibility of well-formed Choice-Free and ordinary Free-Choice nets. Like the homogeneous Join-Free nets, these nets constitute subclasses of Equal-Conflict nets. In this larger class, the reversibility property is not well understood. This paper provides the first characterization of reversibility for all the live Equal-Conflict systems by extending, in a weaker form, a known condition that applies to the Choice-Free and Free-Choice subclasses. We also show that this condition is tightly related to the Equal-Conflict class and does not apply to several other classes.
Fichier principal
Vignette du fichier
Petri Nets 2015.pdf (638.85 Ko) Télécharger le fichier
Origine Fichiers produits par l'(les) auteur(s)
Loading...

Dates et versions

hal-01197020 , version 1 (13-05-2019)

Identifiants

Citer

Thomas Hujsa, Jean-Marc Delosme, Alix Munier Kordon. On the Reversibility of Live Equal-Conflict Petri Nets. 36th International Conference on Application and Theory of Petri Nets and Concurrency, PETRI NETS 2015, Jun 2015, Bruxelles, Belgium. pp.234-253, ⟨10.1007/978-3-319-19488-2_12⟩. ⟨hal-01197020⟩
313 Consultations
139 Téléchargements

Altmetric

Partager

Gmail Mastodon Facebook X LinkedIn More