Stochastic Petri nets : modelling, stability, simulation / - Haas, Peter J. (Springer, 2002)