Modelling with Generalized Stochastic Petri Nets