Show simple item record

Modular Verification of Petri nets properties: a Structure-based Approach

dc.contributor.authorKlai, Kais
dc.contributor.authorHaddad, Serge
HAL ID: 745039
dc.contributor.authorIlié, Jean-Michel
dc.date.accessioned2010-11-29T11:36:03Z
dc.date.available2010-11-29T11:36:03Z
dc.date.issued2005
dc.identifier.urihttps://basepub.dauphine.fr/handle/123456789/5188
dc.language.isoenen
dc.subjectAbstractionen
dc.subjectmodular verificationen
dc.subject(de)compositionen
dc.subjectPetri netsen
dc.subject.ddc004en
dc.titleModular Verification of Petri nets properties: a Structure-based Approachen
dc.typeCommunication / Conférence
dc.description.abstractenIn this paper, we address the modular verification problem for a Petri net obtained by composition of two subnets. At first, we show how to transform an asynchronous composition into a synchronous one where the new subnets are augmented from the original ones by means of linear invariants. Then we introduce a non-constraining relation between subnets based on their behaviour. Whenever this relation is satisfied, standard properties like the liveness and the boundedness and generic properties specified by a linear time logic may be checked by examination of the augmented subnets in isolation. Finally, we give a sufficient condition for this relation which can be detected modularly using an efficient algorithm.en
dc.identifier.citationpages189-203en
dc.relation.ispartofseriestitleLecture Notes in Computer Science
dc.relation.ispartofseriesnumber3731
dc.relation.ispartoftitleFormal Techniques for Networked and Distributed Systems - FORTE 2005 Formal Techniques for Networked and Distributed Systems - FORTE 2005 25th IFIP WG 6.1 International Conference, Taipei, Taiwan, October 2-5, 2005, Proceedingsen
dc.relation.ispartofeditorWang, Farn
dc.relation.ispartofpublnameSpringeren
dc.relation.ispartofpublcityBerlinen
dc.relation.ispartofdate2005
dc.relation.ispartofpages558en
dc.relation.ispartofurlhttp://dx.doi.org/10.1007/11562436en
dc.description.sponsorshipprivateouien
dc.subject.ddclabelInformatique généraleen
dc.relation.ispartofisbn978-3-540-29189-3en
dc.relation.conftitle25th International Conference on Formal Techniques for Networked and Distributed Systems, FORTE 2005en
dc.relation.confdate2005-10
dc.relation.confcityTaipeien
dc.relation.confcountryTaïwanen
dc.identifier.doihttp://dx.doi.org/10.1007/11562436_15


Files in this item

FilesSizeFormatView

There are no files associated with this item.

This item appears in the following Collection(s)

Show simple item record