
Exploiting Partial Symmetries in Well-formed nets for the Reachability and the Linear Time Model Checking Problems
Baarir, Souheib; Haddad, Serge; Ilié, Jean-Michel (2005), Exploiting Partial Symmetries in Well-formed nets for the Reachability and the Linear Time Model Checking Problems, in Carré-Ménétrier, Véronique; Cao, Xi Ren; Zaytoon, Janan, Discrete Event Systems 2004., Elsevier, p. 223-228
View/ Open
Type
Communication / ConférenceDate
2005Conference title
7th IFAC Workshop on Discrete Event Systems (WODES'04)Conference date
2004-09Conference city
ReimsConference country
FranceBook title
Discrete Event Systems 2004.Book author
Carré-Ménétrier, Véronique; Cao, Xi Ren; Zaytoon, JananPublisher
Elsevier
ISBN
978-0-08-044168-9
Number of pages
484Pages
223-228
Metadata
Show full item recordAbstract (EN)
Taking advantage of the symmetries of a system is an efficient way to cope with the combinatory explosion involved by the verification process. Whereas numerous algorithms and tools efficiently deal with the verification of a symmetrical formula on a symmetrical model, the management of partial symmetries is still an open research topic. In this work, we present the design and the evaluation of two methods applicable on coloured Petri nets. These two methods are extensions of the symbolic reachability graph construction for the well- formed Petri nets. The first algorithm, called the extended symbolic reachability graph construction, tackles the reachability problem. The second one, called the symbolic synchronized product, checks a partially symmetric linear time formula on a net. The evaluations show that these two methods outperform the previous approaches dealing with partial symmetries. Furthermore they are complementary ones since the former while being less general gives better results than the latter when applied to the reachability problem.Subjects / Keywords
Coloured Petri Net; Well-Formed Petri Net; Partial Symmetry; Symbolic Reachability GraphRelated items
Showing items related by title and author.
-
Baarir, Souheib; Dutheillet, Claude; Haddad, Serge; Ilié, Jean-Michel (2005) Communication / Conférence
-
Ajami, Khalil; Haddad, Serge; Ilié, Jean-Michel (1998) Communication / Conférence
-
Haddad, Serge; Ilié, Jean-Michel; Taghelit, Mohamed; Zouari, Belhassen (1995) Communication / Conférence
-
Chiola, Giovanni; Dutheillet, Claude; Franceschinis, Giuliana; Haddad, Serge (1990) Communication / Conférence
-
Beccuti, Marco; Codetta-Raiteri, Daniele; Franceschinis, Giuliana; Haddad, Serge (2007) Communication / Conférence