Stochastic Petri Nets door Falko Bause & Pieter S. Kritzinger