Selected Publications


W.M.P. van der Aalst. Decomposing Petri Nets for Process Mining: A Generic Approach. Distributed and Parallel Databases, 31(4):471-507, 2013.
W.M.P. van der Aalst. Business Process Management: A Comprehensive Survey. ISRN Software Engineering, pages 1-37, 2013.
W.M.P. van der Aalst. Business Process Simulation Survival Guide. In J. vom Brocke and M. Rosemann, editors, Handbook on Business Process Management 1, International Handbooks on Information Systems, pages 337-370. Springer-Verlag, Berlin, 2015.
W.M.P. van der Aalst. Mediating Between Modeled and Observed Behavior: The Quest for the "Right" Process. In IEEE International Conference on Research Challenges in Information Science (RCIS 2013), pages 31-43. IEEE Computing Society, 2013.
W.M.P. van der Aalst, K.M. van Hee, A.H.M. ter Hofstede, N. Sidorova, H.M.W. Verbeek, M. Voorhoeve, and M.T. Wynn. Soundness of Workflow Nets: Classification, Decidability, and Analysis. Formal Aspects of Computing, 23(3):333-363, 2011.
S.J.J. Leemans, D. Fahland, and W.M.P. van der Aalst. Scalable Process Discovery and Conformance Checking. Software and Systems Modeling, 17(2), to appear, 2018.
S.J. van Zelst, B.F. van Dongen, W.M.P. van der Aalst, and H.M.W Verbeek. Discovering Workflow Nets Using Integer Linear Programming. Computing, to appear, 2018.

h1