generalized stochastic Petri net