An Incremental Verification Technique Using Reduction of Petri Nets : A Petri net Approach - Archive ouverte HAL Accéder directement au contenu
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
Kaïs Klai
  • Fonction : Auteur
  • PersonId : 1009138
Serge Haddad

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⟩
228 Consultations
0 Téléchargements

Altmetric

Partager

Gmail Facebook X LinkedIn More