Modelling With Generalized Stochastic Petri Nets