On the Use of Exact Lumpability in Partially Symmetrical Well-Formed Nets - Archive ouverte HAL Accéder directement au contenu
Communication Dans Un Congrès Année : 2005

On the Use of Exact Lumpability in Partially Symmetrical Well-Formed Nets

Souheib Baarir
Claude Dutheillet
  • Fonction : Auteur
  • PersonId : 968374
Serge Haddad
Jean-Michel Ilié
  • Fonction : Auteur
  • PersonId : 962210

Résumé

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.

Dates et versions

hal-01486924 , version 1 (10-03-2017)

Identifiants

Citer

Souheib Baarir, Claude Dutheillet, Serge Haddad, Jean-Michel Ilié. On the Use of Exact Lumpability in Partially Symmetrical Well-Formed Nets. 2nd International Conference on the Quantitative Evaluation of Systems (QEST '05), Sep 2005, Torino, Italy. pp.23-32, ⟨10.1109/QEST.2005.26⟩. ⟨hal-01486924⟩
111 Consultations
0 Téléchargements

Altmetric

Partager

Gmail Facebook X LinkedIn More