Stochastic Petri Nets Modelling, Stability, Simulation - Haas, Peter J. (Springer New York : Imprint: Springer, 2002)