From partially to fully lumped Markov chains in Stochastic Well Formed Petri Nets
S. Baarir, Marco Beccuti, C. Dutheillet, G. Franceschinis · 2009
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 me