Talk:Stochastic Petri net