On the Reversibility of Well-Behaved Weighted Choice-Free Systems - Archive ouverte HAL
Communication Dans Un Congrès Année : 2014

On the Reversibility of Well-Behaved Weighted Choice-Free Systems

Résumé

A Petri net is reversible if its initial marking is a home marking, a marking reachable from any reachable marking. Under the assumption of well-behavedness we investigate the property of reversibility for strongly connected weighted Choice-Free Petri nets, nets which structurally avoid conflicts. Several characterizations of liveness and reversibility as well as exponential methods for building live and home markings are available for these nets. We provide a new characterization of reversibility leading to the construction in polynomial time of an initial marking with a polynomial number of tokens that is live and reversible. We also introduce a polynomial time transformation of well-formed Choice-Free systems into well-formed T-systems and we deduce from it a polynomial time sufficient condition of liveness and reversibility for well-formed Choice-Free systems. We show that neither one of these two approaches subsumes the other.
Fichier principal
Vignette du fichier
Petri Nets 2014.pdf (399.42 Ko) Télécharger le fichier
Origine Fichiers produits par l'(les) auteur(s)
Loading...

Dates et versions

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

Identifiants

Citer

Thomas Hujsa, Jean-Marc Delosme, Alix Munier-Kordon. On the Reversibility of Well-Behaved Weighted Choice-Free Systems. 35th International Conference on Application and Theory of Petri Nets and Concurrency, PETRI NETS 2014, Jun 2014, Tunis, Tunisia. pp.334-353, ⟨10.1007/978-3-319-07734-5_18⟩. ⟨hal-01017044⟩
189 Consultations
131 Téléchargements

Altmetric

Partager

More