On the Equivalence between Deadlock Freeness and Liveness in Petri Nets - Archive ouverte HAL Accéder directement au contenu
Communication Dans Un Congrès Année : 2005

On the Equivalence between Deadlock Freeness and Liveness in Petri Nets

Jean-Michel Couvreur
  • Fonction : Auteur
Kais Klai

Résumé

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.
Fichier non déposé

Dates et versions

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

Identifiants

  • HAL Id : hal-01124989 , version 1

Citer

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
161 Consultations
0 Téléchargements

Partager

Gmail Mastodon Facebook X LinkedIn More