Deadlocks and Traps in Petri nets as Horn-satisfiability Solutions ans some related Polynomially problems - Archive ouverte HAL Accéder directement au contenu
Article Dans Une Revue Discrete Applied Mathematics Année : 1990

Deadlocks and Traps in Petri nets as Horn-satisfiability Solutions ans some related Polynomially problems

Résumé

Voir le lien ici
Fichier non déposé

Dates et versions

hal-01125428 , version 1 (06-03-2015)

Identifiants

  • HAL Id : hal-01125428 , version 1

Citer

Kamel Barkaoui, M. Minoux. Deadlocks and Traps in Petri nets as Horn-satisfiability Solutions ans some related Polynomially problems. Discrete Applied Mathematics, 1990, 29, pp.195-210. ⟨hal-01125428⟩

Collections

CNAM CEDRIC-CNAM
27 Consultations
0 Téléchargements

Partager

Gmail Mastodon Facebook X LinkedIn More