1. W.M.P. van der Aalst, Structural characterizations of sound workflow nets, Computing Science Report 96/23, Eindhoven University of Technology, Department of Mathematics and Computing Science, Eindhoven, The Netherlands, December 1996
2. W.M.P. van der Aalst, Verification of workflow nets, in: P. Azéma, G. Balbo (Eds.), Application and Theory of Petri Nets 1997, Proceedings of ICATPN'97, 18th International Conference, Toulouse, France, June 1997, Lecture Notes in Computer Science, vol. 1248, Springer, Berlin, Germany, 1997, pp. 407–426
3. The application of Petri nets to workflow management;van der Aalst;The Journal of Circuits Systems and Computers,1998
4. W.M.P. van der Aalst, T. Basten, Inheritance of workflows: an approach to tackling problems related to change, Theoretical Computer Science (to appear)
5. W.M.P. van der Aalst, T. Basten, Life-cycle inheritance: a petri-net-based approach, in: P. Azéma, G. Balbo (Eds.), Application and Theory of Petri Nets 1997, Proceedings of ICATPN'97, 18th International Conference, Toulouse, France, June 1997, Lecture Notes in Computer Science, vol. 1248, Springer, Berlin, Germany, 1997, pp. 62–81