stochastic petri nets