Thumbnail

An Incremental Verification Technique using Decomposition of Petri Nets

Klai, Kais; Haddad, Serge; Ilié, Jean-Michel (2002), An Incremental Verification Technique using Decomposition of Petri Nets, 2002 IEEE International Conference on Systems, Man and Cybernetics, IEEE Computer Society, p. 381-386. http://dx.doi.org/10.1109/ICSMC.2002.1173442

Voir/Ouvrir
Type
Communication / Conférence
Date
2002
Titre du colloque
2002 IEEE International Conference on Systems, Man and Cybernetics
Date du colloque
2002-10
Ville du colloque
Hammamet
Pays du colloque
Tunisie
Titre de l'ouvrage
2002 IEEE International Conference on Systems, Man and Cybernetics
Éditeur
IEEE Computer Society
Isbn
0-7803-7437-1
Pages
381-386
Identifiant publication
Métadonnées
Afficher la notice complète
Auteur(s)
Klai, Kais
Haddad, Serge
Ilié, Jean-Michel
Résumé (EN)
We propose a modular verification technique for bounded Petri nets which efficiency relies on both behavioral and structural features. By focusing on linear evenemential temporal logic formula, we demonstrate how to choose a subnet on which it is enough to perform the model checking.
Mots-clés
Petri nets; Decomposition; Modular verification; Verification and validation