Stochastic Petri nets : - Haas, Peter J. Peter Jay (Springer series in operations research, 2002)