Stav dette: Modelling with generalized stochastic Petri nets / M. Ajmone Marsan [and others].