stochastic petri net project