Stochastic Petri Nets by Falko Bause & Pieter S. Kritzinger