Efficient lumpability check in partially symmetric systems

M. Beccuti, G. Franceschinis, S. Baarir, J. M. Ilié

Risultato della ricerca: Capitolo in libro/report/atti di convegnoContributo a conferenzapeer review

Abstract

State space based performance analysis of stochastic models may be impaired by the state space explosion but such problem can be mitigated in symmetrical behaving systems by aggregating equivalent states and transitions. An effective way of exploiting symmetries when the system is modeled using the Stochastic Well-Formed Net (SWN) formalism, is to generate the Symbolic Reachability Graph (SRG) and automatically derive a lumped Continuous Time Markov Chain (CTMC) of the same size as the SRG from it. For partially symmetric systems, the Extended SRG (ESRG) can be used instead, but the derivation of a lumped CTMC in this case is not as direct as in the SRG case: in fact the ESRG structure might need a refinement to satisfy the lumpability conditions. In this paper a new efficient algorithm to derive a lumped CTMC from the ESRG is presented, and the results obtained by experimenting its implementation within the GreatSPN environment are discussed. The algorithm combines the Paige and Tarjan's partition refinement algorithm (extended to work with weighted arcs) and a previously proposed lumpability check algorithm (built specifically for the use with the ESRG) and outperforms both of them. The implementation of the algorithm within the GreatSPN environment will allow the several users that have chosen this package to apply the proposed technique.

Lingua originaleInglese
Titolo della pubblicazione ospiteThird International Conference on the Quantitative Evaluation of Systems, QEST 2006
Pagine211-220
Numero di pagine10
DOI
Stato di pubblicazionePubblicato - 2006
Evento3rd International Conference on the Quantitative Evaluation of Systems, QEST 2006 - Riverside, CA, United States
Durata: 11 set 200614 set 2006

Serie di pubblicazioni

NomeThird International Conference on the Quantitative Evaluation of Systems, QEST 2006

???event.eventtypes.event.conference???

???event.eventtypes.event.conference???3rd International Conference on the Quantitative Evaluation of Systems, QEST 2006
Paese/TerritorioUnited States
CittàRiverside, CA
Periodo11/09/0614/09/06

Fingerprint

Entra nei temi di ricerca di 'Efficient lumpability check in partially symmetric systems'. Insieme formano una fingerprint unica.

Cita questo