Stochastic Petri Nets door Peter J. Haas