|
 
|
[BZ03] On the Equivalence between Liveness and deadlock Freeness in Petri Nets
Conférence Internationale avec comité de lecture : ISPS’03, 5th Int. Symp. on Programming and Systems, Algiers, Algeria, January 2003, pp.213-224,
motcle:
BibTeX
| @inproceedings { | |||
| BZ03, | |||
| title | = | "{On the Equivalence between Liveness and deadlock Freeness in Petri Nets}", | |
| author | = | " K. Barkaoui and B. Zouari ", | |
| booktitle | = | "{ISPS’03, 5th Int. Symp. on Programming and Systems, Algiers, Algeria}", | |
| year | = | 2003, | |
| month | = | "January", | |
| pages | = | "213-224", | |
| } | |||
