Email Record: Stochastic Petri nets :