Show simple item record

dc.contributor.authorEvangelista, Sami
dc.contributor.authorHaddad, Serge
dc.contributor.authorPradat-Peyre, Jean-François
dc.date.accessioned2011-02-01T10:34:50Z
dc.date.available2011-02-01T10:34:50Z
dc.date.issued2004
dc.identifier.urihttps://basepub.dauphine.fr/handle/123456789/5610
dc.language.isoenen
dc.subjectHigh-level Petri netsen
dc.subjectReductionsen
dc.subjectSoftware Validationen
dc.subject.ddc004en
dc.titleNew Coloured Reductions for Software Validationen
dc.typeCommunication / Conférence
dc.description.abstractenStructural model abstraction is a powerful technique for reducing the complexity of a state based enumeration analysis.We present in this paper accurate reductions for high-level Petri nets based on new ordinary Petri nets reductions. These reductions involve only structural and algebraical conditions. They preserve the liveness of the net and any LTL formula that does not observe the reduced transitions of the net. The mixed use of structural and algebraical conditions signi cantly enlarges their application area. Furthermore the speci cation of the transformation is parametric with respect to the cardinalities of coloured domains.en
dc.identifier.citationpages345-350en
dc.relation.ispartoftitleDiscrete Event Systems 2004en
dc.relation.ispartofeditorZaytoon, Janan
dc.relation.ispartofeditorCao, Xi Ren
dc.relation.ispartofeditorCarré-Ménétrier, Véronique
dc.relation.ispartofpublnameElsevieren
dc.relation.ispartofdate2004
dc.relation.ispartofpages484en
dc.description.sponsorshipprivateouien
dc.subject.ddclabelInformatique généraleen
dc.relation.ispartofisbn978-0-08-044168-9en
dc.relation.conftitleWODES'04 - IFAC 7th Workshop on Discrete Event Systemsen
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