Hairong Sun: Performance Modelling with Deterministic and Stochastic Petri Nets; C. Lindemann (Ed.). Comput. Commun. 22(10): 980 (1999)