Show simple item record

dc.contributor.authorBaarir, Souheib
dc.contributor.authorDutheillet, Claude
dc.contributor.authorHaddad, Serge
HAL ID: 745039
dc.contributor.authorIlié, Jean-Michel
dc.date.accessioned2011-02-01T14:13:04Z
dc.date.available2011-02-01T14:13:04Z
dc.date.issued2005
dc.identifier.urihttps://basepub.dauphine.fr/handle/123456789/5621
dc.descriptionBest Paper Award.en
dc.language.isoenen
dc.subjectWell-Formed Petri netsen
dc.subject.ddc004en
dc.titleOn the use of exact lumpability in partially symmetrical Well-formed Netsen
dc.typeCommunication / Conférence
dc.description.abstractenWell-formed Nets (WNs) have proved an efficient model for building quotient reachability graphs that can be used either for qualitative or performance analysis. However, local asymmetries often break any possibility of grouping states into classes, thus drastically reducing the interest of the approach. An efficient solution has been proposed for qualitative analysis, which relies on a separate representation of the asymmetries in a so-called control automaton. The quotient graph is then obtained by synchronizing the transitions of the WN model with the transitions of the control automaton. In this paper, we improve this approach to quantitative analysis. We show that it can be used to build an aggregated graph that is isomorphic to a Markov chain which verifies exact lumpability. Theoretical considerations and practical experiments show that our method outperforms previous approaches.en
dc.identifier.citationpages23-32en
dc.relation.ispartoftitleSecond International Conference on the Quantitative Evaluation of Systems (QEST'05)en
dc.relation.ispartofpublnameIEEE Computer Societyen
dc.relation.ispartofdate2005
dc.description.sponsorshipprivateouien
dc.subject.ddclabelInformatique généraleen
dc.relation.ispartofisbn0-7695-2427-3en
dc.relation.conftitle2nd International Conference on Quantitative Evaluation of Systems (QEST 2005)en
dc.relation.confdate2005-09
dc.relation.confcityTurinen
dc.relation.confcountryItalieen
dc.identifier.doihttp://doi.ieeecomputersociety.org/10.1109/QEST.2005.26


Files in this item

Thumbnail

This item appears in the following Collection(s)

Show simple item record