Page 363 -

References 345

79. A. Rozinat and W.M.P. van der Aalst. Decision Mining in ProM. In S. Dustdar, J.L. Fiadeiro,
and A. Sheth, editors, International Conference on Business Process Management (BPM
2006), volume 4102 of Lecture Notes in Computer Science, pages 420–425. Springer, Berlin,
2006.
80. A. Rozinat and W.M.P. van der Aalst. Conformance Checking of Processes Based on Moni-
toring Real Behavior. Information Systems, 33(1):64–95, 2008.
81. A. Rozinat, A.K.A. de Medeiros, C.W. Günther, A.J.M.M. Weijters, and W.M.P. van der
Aalst. The Need for a Process Mining Evaluation Framework in Research and Practice. In
A. ter Hofstede, B. Benatallah, and H.Y. Paik, editors, BPM 2007 International Workshops
(BPI, BPD, CBP, ProHealth, RefMod, Semantics4ws), volume 4928 of Lecture Notes in Com-
puter Science, pages 84–89. Springer, Berlin, 2008.
82. A. Rozinat, I.S.M. de Jong, C.W. Günther, and W.M.P. van der Aalst. Process Mining Applied
to the Test Process of Wafer Scanners in ASML. IEEE Transactions on Systems, Man and
Cybernetics. Part C, 39(4):474–479, 2009.
83. A. Rozinat, R.S. Mans, M. Song, and W.M.P. van der Aalst. Discovering Simulation Models.
Information Systems, 34(3):305–327, 2009.
84. A. Rozinat, M. Wynn, W.M.P. van der Aalst, A.H.M. ter Hofstede, and C. Fidge. Workflow
Simulation for Operational Decision Support. Data and Knowledge Engineering, 68(9):834–
850, 2009.
85. A.W. Scheer. Business Process Engineering, Reference Models for Industrial Enterprises.
Springer, Berlin, 1994.
86. M. Sole and J. Carmona. Process Mining from a Basis of Regions. In J. Lilius and
W. Penczek, editors, Applications and Theory of Petri Nets 2010, volume 6128 of Lecture
Notes in Computer Science, pages 226–245. Springer, Berlin, 2010.
87. M. Song and W.M.P. van der Aalst. Supporting Process Mining by Showing Events at a
Glance. In K. Chari and A. Kumar, editors, Proceedings of 17th Annual Workshop on Infor-
mation Technologies and Systems (WITS 2007), pages 139–145, Montreal, Canada, 2007.
88. M. Song and W.M.P. van der Aalst. Towards Comprehensive Support for Organizational
Mining. Decision Support Systems, 46(1):300–317, 2008.
89. R. Srikant and R. Agrawal. Mining Sequential Patterns: Generalization and Performance
Improvements. In Proceedings of the 5th International Conference on Extending Database
Technology (EDBT ’96), pages 3–17, 1996.
90. A.H.M. ter Hofstede, W.M.P. van der Aalst, M. Adams, and N. Russell. Modern Business
Process Automation: YAWL and Its Support Environment. Springer, Berlin, 2010.
91. A. Valmari. The State Explosion Problem. In W. Reisig and G. Rozenberg, editors, Lec-
tures on Petri Nets I: Basic Models, volume 1491 of Lecture Notes in Computer Science,
pages 429–528. Springer, Berlin, 1998.
92. W.M.P. van der Aalst. The Application of Petri Nets to Workflow Management. The Journal
of Circuits, Systems and Computers, 8(1):21–66, 1998.
93. W.M.P. van der Aalst. Business Process Management Demystified: A Tutorial on Models,
Systems and Standards for Workflow Management. In J. Desel, W. Reisig, and G. Rozenberg,
editors, Lectures on Concurrency and Petri Nets, volume 3098 of Lecture Notes in Computer
Science, pages 1–65. Springer, Berlin, 2004.
94. W.M.P. van der Aalst. Using Process Mining to Generate Accurate and Interactive Busi-
ness Process Maps. In A. Abramowicz and D. Flejter, editors, Business Information Systems
(BIS 2009) Workshops, volume 37 of Lecture Notes in Business Information Processing,
pages 1–14. Springer, Berlin, 2009.
95. W.M.P. van der Aalst. Business Process Simulation Revisited. In J. Barjis, editor, Enterprise
and Organizational Modeling and Simulation, volume 63 of Lecture Notes in Business In-
formation Processing, pages 1–14. Springer, Berlin, 2010.
96. W.M.P. van der Aalst and C. Stahl. Modeling Business Processes: A Petri Net Oriented Ap-
proach. MIT Press, Cambridge, MA, 2011.
97. W.M.P. van der Aalst and A.H.M. ter Hofstede. YAWL: Yet Another Workflow Language.
Information Systems, 30(4):245–275, 2005.