1. van der Aalst W.M.P. (1997). Verification of workflow nets. In: Azéma, P., Balbo, G. (eds) Application and Theory of Petri Nets 1997. Lecture Notes in Computer Science, vol. 1248, pp 407–426. Springer, Berlin
2. van der Aalst W.M.P. (2004). Business process management demystified: a tutorial on models, systems and standards for workflow management. In: Desel, J., Reisig, W., Rozenberg, G. (eds) Lectures on Concurrency and Petri Nets. Lecture Notes in Computer Science, vol. 3098, pp 1–65. Springer, Berlin
3. van der Aalst W.M.P., Basten T. (2002). Inheritance of workflows: an approach to tackling problems related to change. Theor. Comput. Sci. 270(1–2): 125–203
4. van der Aalst W.M.P., de Crom P.J.N., Goverde R.R.H.M.J.,
van Hee K.M., Hofman W.J., Reijers H.A., van der Toorn R.A. (2000). ExSpect 6.4 An executable specification tool for hierarchical colored petri nets. In: Nielsen, M., Simpson, D. (eds) Application and Theory of Petri Nets 2000: 21st International Conference, ICATPN 2000. Lecture Notes in Computer Science, vol. 1825, pp 455–464. Lecture Notes in Computer Science, vol 1825. Springer
5. van der Aalst W.M.P., Dreiling A., Gottschalk F., Rosemann
M., Jansen-Vullers M.H. (2006) Configurable process models as a basis for reference modeling. In: Bussler, C., Haller, A. (eds) Business Process Management Workshops, Lecture Notes in Computer Science, vol. 3812, pp 512–518. Springer, Heidelberg