An Efficient Algorithm for Finding Structural Deadlocks in Colored Petri Nets

Kamel Barkaoui; C. Dutheillet; Serge Haddad

doi:10.1007/3-540-56863-8_41

Communication Dans Un Congrès Année : 1993

An Efficient Algorithm for Finding Structural Deadlocks in Colored Petri Nets

(1) , (2) , (2)

1
2

Kamel Barkaoui

Fonction : Auteur
PersonId : 182238
IdHAL : kamel-barkaoui

Centre d'études et de recherche en informatique et communications

C. Dutheillet

Fonction : Auteur

Laboratoire Méthodologie et Architecture des Systèmes Informatiques

Serge Haddad

Fonction : Auteur
PersonId : 745039
IdHAL : serge-haddad
ORCID : 0000-0002-1759-1201
IdRef : 032657501

Laboratoire Méthodologie et Architecture des Systèmes Informatiques

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-01125464

Soumis le : vendredi 6 mars 2015-11:10:14

Dernière modification le : vendredi 24 mars 2023-14:53:00

Dates et versions

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

Identifiants

HAL Id : hal-01125464 , version 1
DOI : 10.1007/3-540-56863-8_41

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⟩

Exporter

BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite

Collections

UPMC CNRS CNAM SORBONNE-UNIVERSITE CEDRIC-CNAM

27 Consultations

0 Téléchargements

An Efficient Algorithm for Finding Structural Deadlocks in Colored Petri Nets

Résumé

Domaines

Dates et versions

Identifiants

Citer

Exporter

Collections

Altmetric

Partager