Towards Performance Analysis with Partially Symmetrical SWN

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. 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.
Document type :
Conference papers
Complete list of metadatas

https://hal.archives-ouvertes.fr/hal-01574422
Contributor : Lip6 Publications <>
Submitted on : Monday, August 14, 2017 - 2:24:23 PM
Last modification on : Thursday, March 21, 2019 - 1:01:07 PM

Identifiers

Citation

Lorenzo Capra, Claude Dutheillet, Giuliana Franceschinis, Jean-Michel Ilié. Towards Performance Analysis with Partially Symmetrical SWN. International Symposium on Modeling, Analysis and Simulation of Computer and Telecommunication Systems (MASCOT '99), Oct 1999, College Park, MD, United States. pp.148-155, ⟨10.1109/MASCOT.1999.805050⟩. ⟨hal-01574422⟩

Share

Metrics

Record views

40