|
 
|
[BM90] Deadlocks and Traps in Petri nets as Horn-satisfiability Solutions ans some related Polynomially problems
Revue Internationale avec comité de lecture : Journal Discrete Applied Mathematics, vol. 29, pp. 195-210, 1990
motcle:
Résumé:
Voir le lien ici
Commentaires:
note
BibTeX
| @article { | |||
| BM90, | |||
| title | = | "{Deadlocks and Traps in Petri nets as Horn-satisfiability Solutions ans some related Polynomially problems}", | |
| author | = | "K. Barkaoui and M. Minoux", | |
| journal | = | "Discrete Applied Mathematics", | |
| year | = | 1990, | |
| volume | = | 29, | |
| pages | = | "195-210", | |
| note | = | "{note}", | |
| } | |||
