1. W.M.P. van der Aalst. Modelling and Analysis of Complex Logistic Systems. In H.J. Pels and J.C. Wortmann, editors,Integration in Production Management Systems, volume B-7 ofIFIP Transactions, pages 277?292. Elsevier Science Publishers, Amsterdam, 1992a.
2. W.M.P. van der Aalst.Timed coloured Petri nets and their application to logistics. PhD thesis, Eindhoven University of Technology, Eindhoven, 1992b.
3. Lecture Notes in Computer Science;W.M.P. Aalst van der,1993
4. W.M.P. van der Aalst and A.W. Waltmans. Modelling logistic systems with EXSPECT. In H.G. Sol and K.M. van Hee, editors,Dynamic Modelling of Information Systems, pages 269?288. Elsevier Science Publishers, Amsterdam, 1991.
5. ASPT.ExSpect 4.1 User Manual. Eindhoven, 1993.