An Efficient Algorithm for Finding Structural Deadlocks in Colored Petri Nets
Résumé
Voir le lien ici
Communication Dans Un Congrès
Année : 1993
Laboratoire CEDRIC : Connectez-vous pour contacter le contributeur
https://hal.science/hal-01125464
Soumis le : vendredi 6 mars 2015-11:10:14
Dernière modification le : vendredi 19 juillet 2024-11:38:04
Citer
Kamel Barkaoui, C. Dutheillet, Serge Haddad. An Efficient Algorithm for Finding Structural Deadlocks in Colored Petri Nets. Application and Theory of Petri Nets, Jan 1993, X, France. pp.69-88, ⟨10.1007/3-540-56863-8_41⟩. ⟨hal-01125464⟩
Collections
42
Consultations
0
Téléchargements