标签：Stochastic petri nets.