Stochastic Petri Nets by Peter J. Haas