Show simple item record

dc.contributor.authorBaarir, Souheib
dc.contributor.authorHaddad, Serge
HAL ID: 745039
dc.contributor.authorIlié, Jean-Michel
dc.date.accessioned2011-01-28T11:58:09Z
dc.date.available2011-01-28T11:58:09Z
dc.date.issued2005
dc.identifier.urihttps://basepub.dauphine.fr/handle/123456789/5580
dc.language.isoenen
dc.subjectColoured Petri Neten
dc.subjectWell-Formed Petri Neten
dc.subjectPartial Symmetryen
dc.subjectSymbolic Reachability Graphen
dc.subject.ddc004en
dc.titleExploiting Partial Symmetries in Well-formed nets for the Reachability and the Linear Time Model Checking Problemsen
dc.typeCommunication / Conférence
dc.description.abstractenTaking 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.en
dc.identifier.citationpages223-228en
dc.relation.ispartoftitleDiscrete Event Systems 2004.en
dc.relation.ispartofeditorCarré-Ménétrier, Véronique
dc.relation.ispartofeditorCao, Xi Ren
dc.relation.ispartofeditorZaytoon, Janan
dc.relation.ispartofpublnameElsevieren
dc.relation.ispartofdate2005
dc.relation.ispartofpages484en
dc.description.sponsorshipprivateouien
dc.subject.ddclabelInformatique généraleen
dc.relation.ispartofisbn978-0-08-044168-9en
dc.relation.conftitle7th IFAC Workshop on Discrete Event Systems (WODES'04)en
dc.relation.confdate2004-09
dc.relation.confcityReimsen
dc.relation.confcountryFranceen


Files in this item

Thumbnail

This item appears in the following Collection(s)

Show simple item record