Towards performance analysis with partially symmetrical SWN

Author

Capra, Lorenzo ; Dutheillet, Claude ; Franceschinis, Giuliana ; Ilie, Jean Michel

Author_Institution

Dipt. di Inf., Torino Univ., Italy

fYear

1999

fDate

1999

Firstpage

148

Lastpage

155

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

Keywords

Petri nets; graph colouring; performance evaluation; stochastic systems; Extended SRG; Symbolic RG; ergodicity; graph; partially symmetrical SWN; performance analysis; reachability graph; state space reduction; stochastic Petri nets; stochastic well formed colored nets; Explosions; Information analysis; Performance analysis; Roentgenium; State-space methods; Steady-state; Stochastic processes; Stochastic systems; System recovery; Testing;

fLanguage

English

Publisher

ieee

Conference_Titel

Modeling, Analysis and Simulation of Computer and Telecommunication Systems, 1999. Proceedings. 7th International Symposium on

Conference_Location

College Park, MD

Print_ISBN

0-7695-0381-0

Type

conf

DOI

10.1109/MASCOT.1999.805050

Filename

805050