Page 364 -

346 References

98. W.M.P. van der Aalst and K.M. van Hee. Workflow Management: Models, Methods, and
Systems. MIT Press, Cambridge, MA, 2004.
99. W.M.P. van der Aalst, P. Barthelmess, C.A. Ellis, and J. Wainer. Proclets: A Framework for
Lightweight Interacting Workflow Processes. International Journal of Cooperative Informa-
tion Systems, 10(4):443–482, 2001.
100. W.M.P. van der Aalst, J. Desel, and E. Kindler. On the Semantics of EPCs: A Vicious Circle.
In M. Nüttgens and F.J. Rump, editors, Proceedings of the EPK 2002: Business Process
Management Using EPCs, pages 71–80, Trier, Germany, November 2002. Gesellschaft für
Informatik, Bonn, 2002.
101. W.M.P. van der Aalst, A.H.M. ter Hofstede, B. Kiepuszewski, and A.P. Barros. Workflow
Patterns. Distributed and Parallel Databases, 14(1):5–51, 2003.
102. W.M.P. van der Aalst, B.F. van Dongen, J. Herbst, L. Maruster, G. Schimm, and A.J.M.M.
Weijters. Workflow Mining: A Survey of Issues and Approaches. Data and Knowledge En-
gineering, 47(2):237–267, 2003.
103. W.M.P. van der Aalst, A.J.M.M. Weijters, and L. Maruster. Workflow Mining: Discovering
Process Models from Event Logs. IEEE Transactions on Knowledge and Data Engineering,
16(9):1128–1142, 2004.
104. W.M.P. van der Aalst, H.A. Reijers, and M. Song. Discovering Social Networks from Event
Logs. Computer Supported Cooperative Work, 14(6):549–593, 2005.
105. W.M.P. van der Aalst, H.T. de Beer, and B.F. van Dongen. Process Mining and Verification
of Properties: An Approach Based on Temporal Logic. In R. Meersman and Z. Tari et al., ed-
itors, On the Move to Meaningful Internet Systems 2005: CoopIS, DOA, and ODBASE: OTM
Confederated International Conferences, CoopIS, DOA, and ODBASE 2005, volume 3760
of Lecture Notes in Computer Science, pages 130–147. Springer, Berlin, 2005.
106. W.M.P. van der Aalst, H.A. Reijers, A.J.M.M. Weijters, B.F. van Dongen, A.K.A. de
Medeiros, M. Song, and H.M.W. Verbeek. Business Process Mining: An Industrial Appli-
cation. Information Systems, 32(5):713–732, 2007.
107. W.M.P. van der Aalst, M. Dumas, C. Ouyang, A. Rozinat, and H.M.W. Verbeek. Confor-
mance Checking of Service Behavior. ACM Transactions on Internet Technology, 8(3):29–
59, 2008.
108. W.M.P. van der Aalst, M. Pesic, and H. Schonenberg. Declarative Workflows: Balancing
Between Flexibility and Support. Computer Science—Research and Development, 23(2):99–
113, 2009.
109. W.M.P. van der Aalst, J. Nakatumba, A. Rozinat, and N. Russell. Business Process Simula-
tion. In J. vom Brocke and M. Rosemann, editors, Handbook on Business Process Manage-
ment, International Handbooks on Information Systems, pages 313–338. Springer, Berlin,
2010.
110. W.M.P. van der Aalst, M. Pesic, and M. Song. Beyond Process Mining: From the Past to
Present and Future. In B. Pernici, editor, Advanced Information Systems Engineering, Pro-
ceedings of the 22nd International Conference on Advanced Information Systems Engineer-
ing (CAiSE’10), volume 6051 of Lecture Notes in Computer Science, pages 38–52. Springer,
Berlin, 2010.
111. W.M.P. van der Aalst, V. Rubin, H.M.W. Verbeek, B.F. van Dongen, E. Kindler, and C.W.
Günther. Process Mining: A Two-Step Approach to Balance Between Underfitting and Over-
fitting. Software and Systems Modeling, 9(1):87–111, 2010.
112. W.M.P. van der Aalst, K.M. van Hee, J.M. van der Werf, and M. Verdonk. Auditing 2.0:
Using Process Mining to Support Tomorrow’s Auditor. IEEE Computer, 43(3):90–93, 2010.
113. W.M.P. van der Aalst, M.H. Schonenberg, and M. Song. Time Prediction Based on Process
Mining. Information Systems, 36(2):450–475, 2011.
114. 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, 2011. 10.1007/s00165-010-0161-4.
115. J.M.E.M. van der Werf, B.F. van Dongen, C.A.J. Hurkens, and A. Serebrenik. Process Dis-
covery Using Integer Linear Programming. Fundamenta Informaticae, 94:387–412, 2010.