Research Article
From partially to fully lumped Markov chains in Stochastic Well Formed Petri Nets
@INPROCEEDINGS{10.4108/ICST.VALUETOOLS2009.7733, author={S. Baarir and M. Beccuti and C. Dutheillet and G. Franceschinis}, title={From partially to fully lumped Markov chains in Stochastic Well Formed Petri Nets}, proceedings={4th International ICST Conference on Performance Evaluation Methodologies and Tools}, publisher={ICST}, proceedings_a={VALUETOOLS}, year={2010}, month={5}, keywords={}, doi={10.4108/ICST.VALUETOOLS2009.7733} }- S. Baarir
M. Beccuti
C. Dutheillet
G. Franceschinis
Year: 2010
From partially to fully lumped Markov chains in Stochastic Well Formed Petri Nets
VALUETOOLS
ICST
DOI: 10.4108/ICST.VALUETOOLS2009.7733
Abstract
This paper presents a generic framework for building quo- tient graphs for Stochastic Well-formed Net models by ex- ploiting 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 sec- ond method can usually deal with partially symmetric sys- tems 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 per- formance analysis of systems.
Copyright © 2009–2024 ICST
