Modelling with generalized stochastic petri nets - Marsan, M. Ajmone (John Wiley & Sons, 1995)