Modelling with generalized stochastic Petri nets - Ajmone Marsan, M. (Wiley series in parallel computing, 1995)