1. Semi-Markov Chains and Hidden Semi-Markov Models Toward Applications: Their Use in Reliability and DNA Analysis, vol. 191;Barbu,2009
2. A formal framework for stochastic DEVS modeling and simulation;Castro;Simulation: Transactions of the Society for Modeling and Simulation International,2010
3. “On-the-fly” solution techniques for stochastic Petri nets and extensions;Deavours,1997
4. An Introduction to Probability Theory and Its Applications, vol. 2;Feller,2008
5. A GSMP formalism for discrete event systems;Glynn;Proceedings of the IEEE,1989