Title: Stochastic Petri nets