Stochastic Petri Nets : modelling, stability, simulation - Haas, Peter J. (Springer Series in Operations Research, 2002)