Download Modelling With Generalized Stochastic Petri Nets