Skip to Main content Skip to Navigation
Conference papers

On the Equivalence between Deadlock Freeness and Liveness in Petri Nets

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.
Complete list of metadata

https://hal.archives-ouvertes.fr/hal-01124989
Contributor : Laboratoire Cedric <>
Submitted on : Friday, March 6, 2015 - 10:54:47 AM
Last modification on : Wednesday, February 5, 2020 - 4:36:03 PM

Identifiers

  • HAL Id : hal-01124989, version 1

Collections

Citation

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⟩

Share

Metrics

Record views

297