1. Putting Petri nets to work in industry;van der Aalst;Computers in Industry,1994
2. W.M.P. van der Aalst, Structural Characterizations of Sound Workflow Nets. Computing Science Reports 96/23, Eindhoven University of Technology, Eindhoven, 1996.
3. W.M.P. van der Aalst, Designing workflows based on product structures, in: K. Li, S. Olariu, Y. Pan, I. Stojmenovic (Eds.), Proceedings of the Ninth IASTED International Conference on Parallel and Distributed Computing Systems, IASTED/Acta Press, Anaheim, 1997, pp. 337–342.
4. W.M.P. van der Aalst, Verification of workflow nets, in: P. Azema, G. Balbo (Eds.), Application and Theory of Petri Nets 1997, Lecture Notes in Computer Science, Vol. 1248, Springer, Berlin, 1997, pp. 407–426.
5. W.M.P. van der Aalst, Three Good reasons for using a Petri-net-based workflow management system, in: T. Wakayama et al. (Eds.), Information and Process Integration in Enterprises: Rethinking Documents, Chap. 10, The Kluwer International Series in Engineering and Computer Science, Kluwer Academic Publishers, Norwell, 1998, pp. 161–182.