Stochastic Petri Net