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

Jean-Michel Ilié 1 Kaïs Klai 1 Serge Haddad
1 SRC - Systèmes répartis et coopératifs
LIP6 - Laboratoire d'Informatique de Paris 6
Document type :
Conference papers
Complete list of metadatas

https://hal.archives-ouvertes.fr/hal-01544386
Contributor : Lip6 Publications <>
Submitted on : Wednesday, June 21, 2017 - 4:05:12 PM
Last modification on : Thursday, March 21, 2019 - 1:06:49 PM

Links full text

Identifiers

Citation

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⟩

Share

Metrics

Record views

202