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

On the Equivalence between Liveness and deadlock Freeness in Petri Nets

Belhassen Zouari
Fichier non déposé

Dates et versions

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

Identifiants

  • HAL Id : hal-01124992 , version 1

Citer

Kamel Barkaoui, Belhassen Zouari. On the Equivalence between Liveness and deadlock Freeness in Petri Nets. ISPS’03, 5th Int. Symp. on Programming and Systems, Algiers, Algeria, Jan 2003, X, France. pp.213-224. ⟨hal-01124992⟩

Collections

CNAM CEDRIC-CNAM
25 Consultations
0 Téléchargements

Partager

Gmail Mastodon Facebook X LinkedIn More