On the Equivalence between Liveness and deadlock Freeness in Petri Nets - Archive ouverte HAL
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
26 Consultations
0 Téléchargements

Partager

More