Towards Performance Analysis with Partially Symmetrical SWN

Authors:
Lorenzo Capra;Giuliana Franceschinis;Claude Dutheillet;Jean Michel Ilie
Affiliations:
-;-;-;-
Venue:
MASCOTS '99 Proceedings of the 7th International Symposium on Modeling, Analysis and Simulation of Computer and Telecommunication Systems
Year:
1999

Citing 0
Cited 4

On the use of partial symmetries for lumping Markov chains

ACM SIGMETRICS Performance Evaluation Review
Solving layered queueing networks of large client-server systems with symmetric replication

Proceedings of the 5th international workshop on Software and performance
Efficient performance models for layered server systems with replicated servers and parallel behaviour

Journal of Systems and Software
Expressiveness and efficient analysis of stochastic well-formed nets

ICATPN'05 Proceedings of the 26th international conference on Applications and Theory of Petri Nets

Quantified Score

Hi-index	0.00

Visualization

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.