From partially to fully lumped Markov chains in stochastic well formed Petri nets.

ABSTRACTThis paper presents a generic framework for building quotient graphs for Stochastic Well-formed Net models by exploiting the symmetries implicitly defined in the model. Two instantiations are presented, one based on static symmetries and the other one based on dynamic symmetries. The second method can usually deal with partially symmetric systems in a more effective way than the first one. However, in some cases it may result in a larger graph. We present here a new approach that overcomes the weakness of these methods. All these techniques can be used for efficient performance analysis of systems.