1. van der Aalst W.M.P.: The application of Petri nets to workflow management. J. Circ. Syst. Comput. 8(1), 21–66 (1998)
2. van der Aalst, W.M.P., van Dongen, B.F., Günther, C.W., Mans, R.S., Alves de Medeiros, A.K., Rozinat, A., Rubin, V., Song, M., Verbeek, H.M.W., Weijters, A.J.M.M.: ProM 4.0: comprehensive support for real process analysis. In: Kleijn, J., Yakovlev, A., (eds.) Application and Theory of Petri Nets and Other Models of Concurrency (ICATPN 2007). Lecture Notes in Computer Science, vol. 4546, pp. 484–494. Springer, Berlin (2007)
3. van der Aalst W.M.P., Alves de Medeiros A.K., Weijters A.J.M.M.: Genetic process mining. In: Ciardo, G., Darondeau, P. (eds) Applications and Theory of Petri Nets 2005. Lecture Notes in Computer Science, vol. 3536, pp. 48–69. Springer, Berlin (2005)
4. van der Aalst W.M.P., Reijers H.A., Weijters A.J.M.M., van Dongen B.F., Alves de Medeiros A.K., Song M., Verbeek H.M.W.: Business process mining: an industrial application. Inf. Syst. 32(5), 713–732 (2007)
5. van der Aalst, W.M.P., Rubin, V., van Dongen, B.F., Kindler, E., Günther, C.W.: Process mining: a two-step approach using transition systems and regions. BPM Center Report BPM-06-30, BPMcenter.org (2006)