1. W.M.P. van der Aalst, Interval Timed Petri Nets and their analysis. Computing Science Notes 91/09, Eindhoven University of Technology, Eindhoven, 1991.
2. -, Modelling and Analysis of Complex Logistic Systems, in Proceedings of the IFIP WG 5.7 Working Conference on Integration in Production Management Systems, Eindhoven, the Netherlands, 1992, pp. 203–218.
3. -, Timed coloured Petri nets and their application to logistics, PhD thesis, Eindhoven University of Technology, Eindhoven, 1992.
4. W.M.P. van der Aalst and A.W. Waltmans, Modelling logistic systems with EXSPECT, in Dynamic Modelling of Information Systems, H.G. Sol and K.M. van Hee, eds., Elsevier Science Publishers, Amsterdam, 1991, pp. 269–288.
5. vol. 424 of Lecture Notes in Computer Science;C. Andre,1990