1. W.M.P. van der Aalst. Interval Timed Coloured Petri Nets and their Analysis. In M. Ajmone Marsan, editor, Application and Theory of Petri Nets 1993, volume 691 of Lecture Notes in Computer Science, pages 453–472. Springer-Verlag, Berlin, 1993.
2. W.M.P. van der Aalst. Petri-net-based Workflow Management Software. In A. Sheth, editor, Proceedings of the NFS Workshop on Workflow and Process Automation in Information Systems, pages 114–118, Athens, Georgia, May 1996.
3. W.M.P. van der Aalst. Verification of Workflow Nets. In P. Azema and G. Balbo, editors, Application and Theory of Petri Nets 1997, Lecture Notes in Computer Science, page (to appear). Springer-Verlag, Berlin, 1997.
4. W.M.P. van der Aalst and K.M. van Hee. Framework for Business Process Redesign. In J.R. Callahan, editor, Proceedings of the Fourth Workshop on Enabling Technologies: Infrastructure for Collaborative Enterprises (WETICE 95), pages 36–45, Berkeley Springs, April 1995. IEEE Computer Society Press.
5. W.M.P. van der Aalst and K.M. van Hee. Business Process Redesign: A Petri-net-based approach. Computers in Industry, 29(1-2): 15–26, 1996.