On the Equivalence between Deadlock Freeness and Liveness in Petri Nets - Archive ouverte HAL Access content directly
Conference Papers Year : 2005

On the Equivalence between Deadlock Freeness and Liveness in Petri Nets

Jean-Michel Couvreur
  • Function : Author
Kais Klai
  • Function : Author

Abstract

This paper deals with the structure theory of Petri nets. We define the class of P/T systems namely K-systems for which the equivalence between controlled-siphon property (cs property), deadlock freeness, and liveness holds. Using the new structural notions of ordered transitions and root places, we revisit the non liveness characterization of P/T systems satisfying the cs property and we define by syntactical manner new and more expressive subclasses of K-systems where the interplay between conflict and synchronization is relaxed. For further information, please visit this web site.
No file

Dates and versions

hal-01124989 , version 1 (06-03-2015)

Identifiers

  • HAL Id : hal-01124989 , version 1

Cite

Kamel Barkaoui, Jean-Michel Couvreur, Kais Klai. On the Equivalence between Deadlock Freeness and Liveness in Petri Nets. ICATPN'05, 26th Int. Conf. on Application and Theory of Petri Nets, Miami, USA, Jan 2005, X, France. pp.90-107. ⟨hal-01124989⟩

Collections

CNAM CEDRIC-CNAM
151 View
0 Download

Share

Gmail Facebook Twitter LinkedIn More