Stochastic Petri nets : - Bause, Falko (Advanced studies in computer science, 2002)