Deadlocks and Traps in Petri nets as Horn-satisfiability Solutions ans some related Polynomially problems
Résumé
Voir le lien ici
Article Dans Une Revue
Discrete Applied Mathematics
Année : 1990
Laboratoire CEDRIC : Connectez-vous pour contacter le contributeur
https://hal.science/hal-01125428
Soumis le : vendredi 6 mars 2015-11:09:19
Dernière modification le : samedi 14 septembre 2024-03:19:34
Citer
M. Minoux, Kamel Barkaoui. Deadlocks and Traps in Petri nets as Horn-satisfiability Solutions ans some related Polynomially problems. Discrete Applied Mathematics, 1990, 29 (2-3), pp.195-210. ⟨10.1016/0166-218X(90)90144-2⟩. ⟨hal-01125428⟩
Collections
46
Consultations
0
Téléchargements