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

View/Open
Type
Communication / Conférence
Date
2002
Conference title
2002 IEEE International Conference on Systems, Man and Cybernetics
Conference date
2002-10
Conference city
Hammamet
Conference country
Tunisie
Book title
2002 IEEE International Conference on Systems, Man and Cybernetics
Publisher
IEEE Computer Society
ISBN
0-7803-7437-1
Pages
381-386
Publication identifier
Metadata
Show full item record
Author(s)
Klai, Kais
Haddad, Serge
Ilié, Jean-Michel
Abstract (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.
Subjects / Keywords
Petri nets; Decomposition; Modular verification; Verification and validation