Stochastic Petri Nets