On the use of exact lumpability in partially symmetrical Well-formed Nets
Baarir, Souheib; Dutheillet, Claude; Haddad, Serge; Ilié, Jean-Michel (2005), On the use of exact lumpability in partially symmetrical Well-formed Nets, Second International Conference on the Quantitative Evaluation of Systems (QEST'05), IEEE Computer Society, p. 23-32. http://doi.ieeecomputersociety.org/10.1109/QEST.2005.26
TypeCommunication / Conférence
Conference title2nd International Conference on Quantitative Evaluation of Systems (QEST 2005)
Book titleSecond International Conference on the Quantitative Evaluation of Systems (QEST'05)
MetadataShow full item record
Abstract (EN)Well-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.
Subjects / KeywordsWell-Formed Petri nets
Showing items related by title and author.
Exploiting Partial Symmetries in Well-formed nets for the Reachability and the Linear Time Model Checking Problems Baarir, Souheib; Haddad, Serge; Ilié, Jean-Michel (2005) Communication / Conférence
Chiola, Giovanni; Dutheillet, Claude; Franceschinis, Giuliana; Haddad, Serge (1993) Article accepté pour publication ou publié