For the most recent entries see the Petri Nets Newsletter.

On the Equivalence Between Liveness and Deadlock-Freeness in Petri Nets.

Barkaoui, Kamel; Couvreur, Jean-Michel; Klai, Kais

In: Gianfranco Ciardo, Philippe Darondeau (Eds.): Lecture Notes in Computer Science, Vol. 3536: Applications and Theory of Petri Nets 2005: 26th International Conference, ICATPN 2005, Miami, USA, June 20-25, 2005., pages 90-107. Springer Verlag, June 2005.

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.

Keywords: structure theory; liveness; deadlock-freeness; cs-property.

Do you need a refined search? Try our search engine which allows complex field-based queries.

Back to the Petri Nets Bibliography