|
 
|
[BDH93] An Efficient Algorithm for Finding Structural Deadlocks in Colored Petri Nets
Conférence Internationale avec comité de lecture : Application and Theory of Petri Nets, January 1993, pp.69-88, Series LNCS 691,
motcle:
Résumé:
Voir le lien ici
Commentaires:
note
BibTeX
| @inproceedings { | |||
| BDH93, | |||
| title | = | "{An Efficient Algorithm for Finding Structural Deadlocks in Colored Petri Nets}", | |
| author | = | " K. Barkaoui and C. Dutheillet and S. Haddad ", | |
| booktitle | = | "{Application and Theory of Petri Nets}", | |
| year | = | 1993, | |
| month | = | "January", | |
| series | = | "LNCS 691", | |
| pages | = | "69-88", | |
| note | = | "{note}", | |
| } | |||
