An Incremental Verification Technique Using Reduction of Petri Nets : A Petri net Approach - Archive ouverte HAL
Communication Dans Un Congrès Année : 2002

An Incremental Verification Technique Using Reduction of Petri Nets : A Petri net Approach

Jean-Michel Ilié
  • Fonction : Auteur
  • PersonId : 962210
Systèmes répartis et coopératifs
Kaïs Klai
Systèmes répartis et coopératifs
Serge Haddad
CV

Domaines

Informatique [cs]

Lip6 Publications  : Connectez-vous pour contacter le contributeur

https://hal.science/hal-01544386

Soumis le : mercredi 21 juin 2017-16:05:12

Dernière modification le : mercredi 15 mai 2024-16:53:45

Consulter le texte intégral

Dates et versions

hal-01544386 , version 1 (21-06-2017)

Identifiants

Citer

Jean-Michel Ilié, Kaïs Klai, Serge Haddad. An Incremental Verification Technique Using Reduction of Petri Nets : A Petri net Approach. International IEEE Conference on System Man and Cybernetics 2002 (IEEE SMC 02), Oct 2002, Hammamet, Tunisia. ⟨10.1109/ICSMC.2002.1173442⟩. ⟨hal-01544386⟩

Exporter

BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite

Collections

UPMC CNRS LIP6 SORBONNE-UNIVERSITE SU-SCIENCES
249 Consultations
0 Téléchargements

Altmetric

Partager

More