Stochastic petri nets modelling, stability, simulation - Haas, Peter J. (Springer, 2010)