Baarir, S. and Beccuti, M. and Dutheillet, C. and Franceschinis, G. (2010) From partially to fully lumped Markov chains in Stochastic Well Formed Petri Nets. In: 4th International ICST Conference on Performance Evaluation Methodologies and Tools.
![[thumbnail of 11497.pdf]](http://eprints.eai.eu/style/images/fileicons/application_pdf.png "11497.pdf")
PDF
11497.pdf
Download (1MB)
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 me
| Item Type: | Conference or Workshop Item (UNSPECIFIED) |
|---|---|
| Date Deposited: | 04 Mar 2026 09:02 |
| Last Modified: | 18 Apr 2026 04:32 |
| URI: | http://eprints.eai.eu/id/eprint/3201 |
Actions (login required)
- View Item