Text this: Modelling with generalized stochastic Petri nets /