Stochastic Well Formed Colored Nets (SWN) make it possible to apply performance evaluation techniques on a compact representation of the reachability graph (RG), called the Symbolic RG (SRG). The Extended SRG (ESRG) has been proposed to achieve a higher degree of reduction when applied to partially symmetric SWN models. The price to pay for the more effective state space reduction, is a loss of information on the paths of the graph. Despite this loss, it has been shown that several qualitative properties can be studied on the ESRG. In this paper, we consider the possibility of using the ESRG for performance evaluation purposes and more specifically, we explore how the ergodicity of the system can be decided on this graph.
Towards performance analysis with partially symmetrical SWN / L. Capra, C. Dutheillet, G. Franceschinis, J. Ilie - In: Proceedings, 7th international symposium on modeling, analysis, and simulation of computer and telecommunication systems : october 24-28, 1999, College Park, MarylandLos Alamitos : IEEE Computer Society, 1999. - ISBN 0769503810. - pp. 148-155 (( Intervento presentato al 7. convegno International Symposium on Modeling, Analysis, and Simulation of Computer and Telecommunications Systems tenutosi a College Park, Maryland nel 1999 [10.1109/MASCOT.1999.805050].
Towards performance analysis with partially symmetrical SWN
L. CapraPrimo
;
1999
Abstract
Stochastic Well Formed Colored Nets (SWN) make it possible to apply performance evaluation techniques on a compact representation of the reachability graph (RG), called the Symbolic RG (SRG). The Extended SRG (ESRG) has been proposed to achieve a higher degree of reduction when applied to partially symmetric SWN models. The price to pay for the more effective state space reduction, is a loss of information on the paths of the graph. Despite this loss, it has been shown that several qualitative properties can be studied on the ESRG. In this paper, we consider the possibility of using the ESRG for performance evaluation purposes and more specifically, we explore how the ergodicity of the system can be decided on this graph.
Pubblicazioni consigliate
I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.
