Performance modelling with deterministic and stochastic petri nets - Lindemann, Christoph 1961- (Wiley, 1998)