Deadlocks and Traps in Petri nets as Horn-satisfiability Solutions ans some related Polynomially problems - Archive ouverte HAL
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

Domaines

Informatique [cs] Calcul parallèle, distribué et partagé [cs.DC]

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

Fichier non déposé

Dates et versions

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

Identifiants

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⟩

Exporter

BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite

Collections

UPMC CNRS CNAM SORBONNE-UNIVERSITE CEDRIC-CNAM
44 Consultations
0 Téléchargements

Altmetric

Partager

More