Show simple item record

dc.contributor.authorKlai, Kais
dc.contributor.authorHaddad, Serge
dc.contributor.authorIlié, Jean-Michel
dc.date.accessioned2011-01-28T14:54:19Z
dc.date.available2011-01-28T14:54:19Z
dc.date.issued2002
dc.identifier.urihttps://basepub.dauphine.fr/handle/123456789/5588
dc.language.isoenen
dc.subjectPetri netsen
dc.subjectDecompositionen
dc.subjectModular verificationen
dc.subjectVerification and validationen
dc.subject.ddc004en
dc.titleAn Incremental Verification Technique using Decomposition of Petri Netsen
dc.typeCommunication / Conférence
dc.description.abstractenWe 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.en
dc.identifier.citationpages381-386en
dc.relation.ispartoftitle2002 IEEE International Conference on Systems, Man and Cyberneticsen
dc.relation.ispartofpublnameIEEE Computer Societyen
dc.relation.ispartofdate2002
dc.description.sponsorshipprivateouien
dc.subject.ddclabelInformatique généraleen
dc.relation.ispartofisbn0-7803-7437-1en
dc.relation.conftitle2002 IEEE International Conference on Systems, Man and Cyberneticsen
dc.relation.confdate2002-10
dc.relation.confcityHammameten
dc.relation.confcountryTunisieen
dc.identifier.doihttp://dx.doi.org/10.1109/ICSMC.2002.1173442


Files in this item

Thumbnail

This item appears in the following Collection(s)

Show simple item record