Publications

05/26/14

Home
About Me
Contact Me
Publications
Courses
Process Mining
Business Process Management
Workflow Management
Petri Nets
Links
Personal

 

Publications Wil van der Aalst

Click here for full list, recent publications, 2012, 2011, 2010, 2009, 2008, 2007, 2006, 2005, 2000-2004, before 2000.

Also see partial lists in DBLP, Google Scholar Homepage, Google ScholarSiteCeer (outdated),  PNL, and CCSB.

 

Publications 1988 - now:

1
W.M.P. van der Aalst.
Specificatie en Simulatie met behulp van ExSpect (in Dutch).
Master's thesis, Eindhoven University of Technology, Eindhoven, 1988.

 

2
W.M.P. van der Aalst, M. Voorhoeve, and A.W. Waltmans.
The TASTE project.
In Proceedings of the 10th International Conference on Applications and Theory of Petri Nets, pages 371-372, Bonn, June 1989.

 

3
W.M.P. van der Aalst and A.W. Waltmans.
Modelling Flexible Manufacturing Systems with EXSPECT.
In B. Schmidt, editor, Proceedings of the 1990 European Simulation Multiconference, pages 330-338, Nurnberg, June 1990. Simulation Councils Inc.

 

4
W.M.P. van der Aalst and A.W. Waltmans.
Modelling logistic systems with EXSPECT.
In H.G. Sol and K.M. van Hee, editors, Dynamic Modelling of Information Systems, pages 269-288. Elsevier Science Publishers, Amsterdam, 1991.

 

5
W.M.P. van der Aalst.
Interval Timed Petri Nets and their analysis.
Computing Science Notes 91/09, Eindhoven University of Technology, Eindhoven, 1991.

 

6
W.M.P. van der Aalst.
The modelling and analysis of queueing systems with QNM-ExSpect.
Computing Science Notes 91/33, Eindhoven University of Technology, Eindhoven, 1991.

 

7
W.M.P. van der Aalst.
Timed coloured Petri nets and their application to logistics.
PhD thesis, Eindhoven University of Technology, Eindhoven, 1992.

 

8
W.M.P. van der Aalst.
Modelling and Analysis of Complex Logistic Systems.
In H.J. Pels and J.C. Wortmann, editors, Integration in Production Management Systems, volume B-7 of IFIP Transactions, pages 277-292. Elsevier Science Publishers, Amsterdam, 1992.

 

9
W.M.P. van der Aalst.
Modelling and Analysis of Complex Logistic Systems.
In Proceedings of the IFIP WG 5.7 Working Conference on Integration in Production Management Systems, pages 203-218, Eindhoven, the Netherlands, 1992.

 

10
W.M.P. van der Aalst.
Logistics: a Systems Oriented Approach.
In Proceedings of the third International Working Conference on Dynamic Modelling of Information Systems, pages 169-189, Noordwijkerhout, the Netherlands, June 1992.

 

11
W.M.P. van der Aalst.
Multi-dimensional Petri Nets.
Computing Science Notes 93/26, Eindhoven University of Technology, Eindhoven, 1993.

 

12
W.M.P. van der Aalst, P. de Bra, G.J. Houben, and Y. Kornatzky.
Browsing Semantics in the Tower Model.
Computing Science Notes 93/47, Eindhoven University of Technology, Eindhoven, 1993.

 

13
W.M.P. van der Aalst.
Interval Timed Coloured Petri Nets and their Analysis.
In M. Ajmone Marsan, editor, Application and Theory of Petri Nets 1993, volume 691 of Lecture Notes in Computer Science, pages 453-472. Springer-Verlag, Berlin, 1993.

 

14
W.M.P. van der Aalst, K.M. van Hee, N. Treves, and R. di Giovanni.
PROOFS: formalisms and methods.
TUE-TR-0035-V4.0-WP1, 1993.

 

15
W.M.P. van der Aalst.
Using Interval Timed Coloured Petri Nets to Calculate Performance Bounds.
In G. Haring and G. Kotsis, editors, Proceedings of the 7th International Conference of Modelling Techniques and Tools for Computer Performance Evaluation, volume 794 of Lecture Notes in Computer Science, pages 425-444. Springer-Verlag, Berlin, 1994.

 

16
M.A. Odijk and W.M.P. van der Aalst.
A Petri net based simulation tool to evaluate the performance of railway stations.
In A. Guasch and M. Huber, editors, Proceedings of the 1994 European Simulation Multiconference, pages 207-211, Barcelona, June 1994. Society of Computer Simulation (SCS).

 

17
W.M.P. van der Aalst, K.M. van Hee, and G.J. Houben.
Modelling workflow management systems with high-level Petri nets.
In G. De Michelis, C. Ellis, and G. Memmi, editors, Proceedings of the second Workshop on Computer-Supported Cooperative Work, Petri nets and related formalisms, pages 31-50, 1994.

 

18
W.M.P. van der Aalst.
Procesmodelleren met behulp van Petri-netten.
Informatie, 36(4):244-252, 1994.

 

19
W.M.P. van der Aalst, G.J. Houben, P. van der Toorn, and P van de Vlist.
Formele specificatie en simulatie: de RODOS-case.
Informatie, 36(10):609-615, 1994.

 

20
W.M.P. van der Aalst.
Putting Petri nets to work in industry.
Computers in Industry, 25(1):45-54, 1994.

 

21
W.M.P. van der Aalst and K.M. van Hee.
Integrated systems modelling: an object oriented approach.
In E. Dubois, P. Hartel, and G. Saake, editors, Proceedings of the workshop on Formal Methods for Information System Dynamics, volume 94-33 of Memoranda Informatica, pages 1-12, University of Twente, the Netherlands, 1994.

 

22
W.M.P. van der Aalst, K.M. van Hee, and M. Voorhoeve.
The DONS Rail Scheduling System.
In Case Studies Tutorial, International Conference on Application and Theory of Petri Nets, pages 1-12, 1994.

 

23
W.M.P. van der Aalst.
Modelling and analysis of production systems using a Petri net based approach.
In T.O. Boucher, M.A. Jafari, and E.A. Elsayed, editors, Proceedings of the conference on Computer Integrated Manufacturing in the Process Industries, pages 179-193, East Brunswick, USA, 1994.

 

24
W.M.P. van der Aalst and M.A. Odijk.
Analysis of Railway Stations by means of Interval Timed Coloured Petri Nets.
Real-Time Systems, 9(3):241-263, 1995.

 

25
W.M.P. van der Aalst, K.M. van Hee, and G.J. Houben.
Modelleren en Analyseren van Workflow: een Aanpak op Basis van Petri-netten.
Informatie, 37(11):590-599 (in Dutch), 1995.

 

26
W.M.P. van der Aalst and K.M. van Hee.
Framework for Business Process Redesign.
In J.R. Callahan, editor, Proceedings of the Fourth Workshop on Enabling Technologies: Infrastructure for Collaborative Enterprises (WETICE 95), pages 36-45, Berkeley Springs, April 1995. IEEE Computer Society Press.

 

27
P. Ciancarini, V.J. Jagannathan, M. Klein, and W.M.P. van der Aalst.
Working Group Report on Process.
In J.R. Callahan, editor, Proceedings of the Fourth Workshop on Enabling Technologies: Infrastructure for Collaborative Enterprises (WETICE 95), pages 8-12, Berkeley Springs, April 1995. IEEE Computer Society Press.

 

28
W.M.P. van der Aalst.
Petri net based scheduling.
Computing Science Reports 95/23, Eindhoven University of Technology, Eindhoven, 1995.

 

29
W.M.P. van der Aalst.
A class of Petri net for modeling and analyzing business processes.
Computing Science Reports 95/26, Eindhoven University of Technology, Eindhoven, 1995.

 

30
W.M.P. van der Aalst.
Handboek simulatie.
Computing Science Reports 95/32, Eindhoven University of Technology, Eindhoven, 1995.
Also an English version is available: Simulation Handbook (in cooperation with M. Voorhoeve). 

 

31
W.M.P. van der Aalst and K.M. van Hee.
Business Process Redesign: A Petri-net-based approach.
Computers in Industry, 29(1-2):15-26, 1996.

 

32
W.M.P. van der Aalst.
Petri-net-based Workflow Management Software.
In A. Sheth, editor, Proceedings of the NFS Workshop on Workflow and Process Automation in Information Systems, pages 114-118, Athens, Georgia, May 1996.

 

33
W.M.P. van der Aalst.
Petri net based scheduling.
OR Spectrum, 18:219-229, 1996.

 

34
T. Basten and W.M.P. van der Aalst.
A Process-Algebraic Approach to Life-Cycle Inheritance: Inheritance = Encapsulation + Abstraction.
Computing Science Reports 96/05, Eindhoven University of Technology, Eindhoven, 1996.

 

35
W.M.P. van der Aalst and T. Basten.
Life-Cycle Inheritance: A Petri-Net-Based Approach.
Computing Science Reports 96/06, Eindhoven University of Technology, Eindhoven, 1996.

 

36
W.M.P. van der Aalst.
Parallel Computation of Reachable Dead States in a Free-choice Petri Net.
Computing Science Reports 96/03, Eindhoven University of Technology, Eindhoven, 1996.

 

37
W.M.P. van der Aalst.
Three Good Reasons for Using a Petri-net-based Workflow Management System.
In S. Navathe and T. Wakayama, editors, Proceedings of the International Working Conference on Information and Process Integration in Enterprises (IPIC'96), pages 179-201, Camebridge, Massachusetts, Nov 1996.

 

38
M. Voorhoeve and W.M.P. van der Aalst.
Conservative Adaption of Workflow.
In M. Wolf and U. Reimer, editors, Proceedings of the International Conference on Practical Aspects of Knowledge Management (PAKM'96), Workshop on Adaptive Workflow, pages 1-15, Basel, Switzerland, October 1996.

 

39
W.M.P. van der Aalst.
Structural Characterizations of Sound Workflow Nets.
Computing Science Reports 96/23, Eindhoven University of Technology, Eindhoven, 1996.

 

40
M. Voorhoeve and W.M.P. van der Aalst.
Conservative Adaption of Workflow.
Computing Science Reports 96/24, Eindhoven University of Technology, Eindhoven, 1996.

 

41
D.A. Henstra, L. Verspui, W.M.P. van der Aalst, and A. Valstar.
Smartcard Ketenlogistiek, volume 11 of CTT publicatiereeks.
Centrum Transport Technologie, Rotterdam, 1996.

 

42
W.M.P. van der Aalst, A. Aarts, H. Koppelman, and R.V. Schuwer et al.
Informatiesystemen: Modelleren en Specificeren.
Open Universiteit, Heerlen, 1996.

 

43
D. Hauschildt, H.M.W. Verbeek, and W.M.P. van der Aalst.
WOFLAN: a Petri-net-based Workflow Analyzer.
Computing Science Reports 97/12, Eindhoven University of Technology, Eindhoven, 1997.

 

44
W.M.P. van der Aalst.
Verification of Workflow Nets.
In P. Azéma and G. Balbo, editors, Application and Theory of Petri Nets 1997, volume 1248 of Lecture Notes in Computer Science, pages 407-426. Springer-Verlag, Berlin, 1997.

 

45
W.M.P. van der Aalst and T. Basten.
Life-cycle Inheritance: A Petri-net-based Approach.
In P. Azéma and G. Balbo, editors, Application and Theory of Petri Nets 1997, volume 1248 of Lecture Notes in Computer Science, pages 62-81. Springer-Verlag, Berlin, 1997.

 

46
W.M.P. van der Aalst and K.M. van Hee.
Workflow Management: Modellen, Methoden en Systemen (in Dutch).
Academic Service, Schoonhoven, 1997.

 

47
W.M.P. van der Aalst.
Designing workflows based on product structures.
In K. Li, S. Olariu, Y. Pan, and I. Stojmenovic, editors, Proceedings of the ninth IASTED International Conference on Parallel and Distributed Computing Systems, pages 337-342. IASTED/Acta Press, Anaheim, 1997.

 

48
M. Voorhoeve and W.M.P. van der Aalst.
Ad-hoc Workflow: Problems and Solutions.
In R. Wagner, editor, Proceedings of the 8th DEXA International Workshop on Database and Expert Systems Applications, pages 36-40, Toulouse, France, September 1997. IEEE Computer Society Press, Los Alamitos, California, 1997.

 

49
W.M.P. van der Aalst, D. Hauschildt, and H.M.W. Verbeek.
A Petri-net-based Tool to Analyze Workflows.
In B. Farwer, D. Moldt, and M.O. Stehr, editors, Proceedings of Petri Nets in System Engineering (PNSE'97), pages 78-90, Hamburg, Germany, September 1997. University of Hamburg (FBI-HH-B-205/97).

 

50
W.M.P. van der Aalst.
Exploring the Process Dimension of Workflow Management.
Computing Science Reports 97/13, Eindhoven University of Technology, Eindhoven, 1997.

 

51
W.M.P. van der Aalst.
On the Verification of Interorganizational Workflows.
Computing Science Reports 97/16, Eindhoven University of Technology, Eindhoven, 1997.

 

52
W.M.P. van der Aalst.
Chapter 10: Three Good reasons for Using a Petri-net-based Workflow Management System.
In T. Wakayama, S. Kannapan, C.M. Khoong, S. Navathe, and J. Yates, editors, Information and Process Integration in Enterprises: Rethinking Documents, volume 428 of The Kluwer International Series in Engineering and Computer Science, pages 161-182. Kluwer Academic Publishers, Boston, Massachusetts, 1998.

 

53
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.

 

54
W.M.P. van der Aalst.
Formalization and Verification of Event-driven Process Chains.
Computing Science Reports 98/01, Eindhoven University of Technology, Eindhoven, 1998.

 

55
W.M.P. van der Aalst and J. Rigter.
Toestanden vermijden met toestanden: Valkuilen bij het modelleren van bedrijfsprocessen.
Computable, 31(10):52-56, 1998.

 

56
W.M.P. van der Aalst.
Modeling and Analyzing Interorganizational Workflows.
In L. Lavagno and W. Reisig, editors, Proceedings of the 1998 International Conference on Application of Concurrency to System Design (CSD'98), pages 262-272, Fukushima, Japan, March 1998. IEEE Computer Society Press.

 

57
W.M.P. van der Aalst, G. De Michelis, and C.A. Ellis, editors.
Proceedings of Workflow Management: Net-based Concepts, Models, Techniques and Tools (WFM'98), Lisbon, Portugal, June 1998. UNINOVA, Lisbon.

 

58
W.M.P. van der Aalst.
Finding Errors in the Design of a Workflow Process: A Petri-net-based Approach.
In W.M.P. van der Aalst, G. De Michelis, and C.A. Ellis, editors, Proceedings of Workflow Management: Net-based Concepts, Models, Techniques and Tools (WFM'98), volume 98/7 of Computing Science Reports, pages 60-81, Lisbon, Portugal, 1998. Eindhoven University of Technology, Eindhoven.

 

59
W.M.P. van der Aalst.
Parallel Computation of Reachable Dead States in a Free-choice Petri Net.
In A. Tentner, editor, High Performance Computing 1998, pages 425-432, Boston, June 1998. Society of Computer Simulation (SCS).

 

60
W.M.P. van der Aalst.
Interorganizational Workflows.
In G. Jacucci, editor, Proceedings of PROLAMAT'98, pages 2.1-43, Trento, Sept 1998. IFIP Transactions.

 

61
M.C.A. van de Graaf and W.M.P. van der Aalst.
Chapter 27: Workflow Systems.
In C. Girault and R. Valk, editors, Systems Engineering: A Petri net based approach to modelling, verification, and implementation, pages 531-568. Kronos, Zaragoza, Sept 1998.

 

62
W.M.P. van der Aalst.
Chapter 25: Application Domains: Introduction.
In C. Girault and R. Valk, editors, Systems Engineering: A Petri net based approach to modelling, verification, and implementation, pages 495-500. Kronos, Zaragoza, Sept 1998.

 

63
W.M.P. van der Aalst.
Chapter 29: Application Domains: Conclusion.
In C. Girault and R. Valk, editors, Systems Engineering: A Petri net based approach to modelling, verification, and implementation, pages 597-599. Kronos, Zaragoza, Sept 1998.

 

64
W.M.P. van der Aalst, E. Kindler, and J. Desel.
Beyond Asymmetric Choice: A note on some extensions.
Petri Net Newsletter, 55:3-13, 1998.

 

65
W.M.P. van der Aalst.
Reengineering Knock-out Processes.
Forschungsbericht Nr. 381, Universität Karlsruhe, Institut AIFB, Karlsruhe, 1998.

 

66
W.M.P. van der Aalst and A.H.M. ter Hofstede.
Verification of Workflow Task Structures: A Petri-net-based Approach.
Forschungsbericht Nr. 380, Universität Karlsruhe, Institut AIFB, Karlsruhe, 1998.

 

67
W.M.P. van der Aalst.
Changing Workflows: On the interplay between flexibility and support.
In J. Desel, A. Oberweis, W. Reisig, and G. Rozenberg, editors, Petri Nets and Business Process Management, pages 5-6, Dagstuhl, July 1998. Dagstuhl Seminar Report, 217.

 

68
W.M.P. van der Aalst.
Research en Wetenschap: TUE Sectie Specificeren en Modelleren van InformatieSystemen (SMIS).
Informatie, 40:58-59, Nov. 1998.

 

69
B.R.T.M. Witlox, P. van der Wolf, E.H.L. Aarts, and W.M.P. van der Aalst.
Performance Analysis of Dataflow Architectures Using Timed Coloured Petri nets.
In A. Yakovlev and L. Gomes, editors, Proceedings of the Workshop on Hardware Design and Petri Nets (HWPN'98), pages 168-185, Lisbon, Portugal, 1998.

 

70
W.M.P. van der Aalst.
Interorganizational Workflows: An Approach based on Message Sequence Charts and Petri Nets.
Systems Analysis - Modelling - Simulation, 34(3):335-367, 1999.

 

71
W.M.P. van der Aalst.
Woflan: A Petri-net-based Workflow Analyzer.
Systems Analysis - Modelling - Simulation, 35(3):345-357, 1999.

 

72
E. Kindler and W.M.P. van der Aalst.
Liveness, fairness, and recurrence.
Technical Report, UGA-CS-TR-99-02, University of Georgia, Department of Computer Science, Athens, USA, 1999.

 

73
W.M.P. van der Aalst.
On the automatic generation of workflow processes based on product structures.
Computers in Industry, 39:97-111, 1999.

 

74
W.M.P. van der Aalst.
Formalization and Verification of Event-driven Process Chains.
Information and Software Technology, 41(10):639-650, 1999.

 

75
W.M.P. van der Aalst, T. Basten, H.M.W. Verbeek, P.A.C. Verkoulen, and M. Voorhoeve.
Adaptive Workflow: On the Interplay between Flexibility and Support.
In J. 3 and J. Cordeiro, editors, Proceedings of the first International Conference on Enterprise Information Systems, volume 2, pages 353-360, Setúbal, Portugal, March 1999.

 

76
H.A. Reijers and W.M.P. van der Aalst.
Short-Term Simulation: Bridging the Gap between Operational Control and Strategic Decision Making.
In M.H. Hamza, editor, Proceedings of the IASTED International Conference on Modelling and Simulation, pages 417-421. IASTED/Acta Press, Anaheim, USA, 1999.

 

77
W.M.P. van der Aalst.
How to Handle Dynamic Change and Capture Management Information? An Approach Based on Generic Workflow Models.
Technical Report, UGA-CS-TR-99-01, University of Georgia, Department of Computer Science, Athens, USA, 1999.

 

78
W.M.P. van der Aalst, J. Desel, and R. Kaschek, editors.
Software Architectures for Business Process Management (SABPM'99), Heidelberg, Germany, June 1999. Forschungsbericht Nr. 390, University of Karlsruhe, Institut AIFB, Karlsruhe, Germany.

 

79
W.M.P. van der Aalst.
Flexible Workflow Management Systems: An Approach Based on Generic Process Models.
In T. Bench-Capon, G. Soda, and A. Min-Tjoa, editors, Proceedings of the 10th International Conference on Database and Expert Systems Applications (DEXA'99), volume 1677 of Lecture Notes in Computer Science, pages 186-195. Springer-Verlag, Berlin, 1999.

 

80
W.M.P. van der Aalst, T. Basten, H.M.W. Verbeek, P.A.C. Verkoulen, and M. Voorhoeve.
Adaptive Workflow: An Approach Based on Inheritance.
In M. Ibrahim and B. Drabble, editors, Proceedings of the IJCAI'99 Workshop on Intelligent Workflow and Process Management: The New Frontier for AI in Business, pages 36-45, Stockholm, Sweden, August 1999.

 

81
W.M.P. van der Aalst.
Generic Workflow Models: How to Handle Dynamic Change and Capture Management Information.
In M. Lenzerini and U. Dayal, editors, Proceedings of the Fourth IFCIS International Conference on Cooperative Information Systems (CoopIS'99), pages 115-126, Edinburgh, Scotland, September 1999. IEEE Computer Society Press.

 

82
A.P. Sheth, W.M.P. van der Aalst, and I.B. Arpinar.
Processes Driving the Networked Economy: ProcessPortals, ProcessVortex, and Dynamically Trading Processes.
IEEE Concurrency, 7(3):18-31, 1999.

 

83
E. Kindler and W.M.P. van der Aalst.
Liveness, Fairness, and Recurrence.
Information Processing Letters, 70(6):269-274, June 1999.

 

84
H.M.W. Verbeek, T. Basten, and W.M.P. van der Aalst.
Diagnosing Workflow Processes using Woflan.
Computing Science Report 99/02, Eindhoven University of Technology, Eindhoven, 1999.

 

85
W.M.P. van der Aalst and T. Basten.
Inheritance of Workflows: An approach to tackling problems related to change.
Computing Science Reports 99/06, Eindhoven University of Technology, Eindhoven, 1999.

 

86
W.M.P. van der Aalst and K. Anyanwu.
Inheritance of Interorganizational Workflows to Enable Business-to-Business E-commerce.
In Proceedings of the Second International Conference on Telecommunications and Electronic Commerce (ICTEC'99), pages 141-157, Nashville, Tennessee, October 1999.

 

87
W.M.P. van der Aalst.
V.3.1 Workflow Management.
In ICT-Zakboekje, pages 1042-1061. PBNA, Arnhem, The Netherlands, 1999.

 

88
W.M.P. van der Aalst and C. Bussler.
Tutorial T4 - Workflow Management: Concepts, Models, Methods, and Tools.
In S. Bodker, M. Kyng, and K. Schmidt, editors, Proceedings of the 6th European Conference on Computer Supported Cooperative Work ECSCW'99 (supplement), pages 41-42, Copenhagen, Denmark, September 1999.

 

89
W.M.P. van der Aalst, D. Moldt, and F. Wienberg.
Enacting Interorganizational Workflows using Nets in Nets.
In Proceedings of the 1999 Workflow Management Conference, volume 70 of Working Paper Series of the Department of Information systems, pages 117-136, Muenster, Germany, November 1999. University of Muenster.

 

90
W.M.P. van der Aalst.
Inheritance of Business Processes: Four Problems - One Solution.
In H. Weber, H. Ehrig, and W. Reisig, editors, Proceedings of the Colloquium on Petri Net Technologies for Modelling Communication Based Systems, pages 1-28, Berlin, Germany, October 1999. Fraunhofer-Institute for Software and Systems Engineering (ISST).

 

91
W.M.P. van der Aalst.
Inheritance of Workflow Processes: Four Problems-One Solution?
In F. Cummins, editor, Proceedings of the Second OOPSLA Workshop on the Implementation and Application of Object-Oriented Workflow Management Systems, pages 1-22, Denver, Colorado, 1999. (Electronic proceedings, see http://st.cs.uiuc.edu/OOPSLA99/).

 

92
W.M.P. van der Aalst, K.M. van Hee, and R.A. van der Toorn.
Component-Based Software Architectures: A Framework Based on Inheritance of Behavior.
Technical Report, CU-CS-892-99, University of Colorado, Department of Computer Science, Boulder, USA, 1999.

 

93
T. Basten and W.M.P. van der Aalst.
Inheritance of Behavior.
Computing Science Report 99/17, Eindhoven University of Technology, Eindhoven, 1999.

 

94
W.M.P. van der Aalst.
Inheritance of Interorganizational Workflows: How to agree to disagree without loosing control?
Technical Report, CU-CS-899-00, University of Colorado, Department of Computer Science, Boulder, USA, 2000.

 

95
W.M.P. van der Aalst.
Process-oriented Architectures for Electronic Commerce and Interorganizational Workflow.
Information Systems, 24(8):639-671, 2000.

 

96
W.M.P. van der Aalst, T. Basten, H.M.W. Verbeek, P.A.C. Verkoulen, and M. Voorhoeve.
Adaptive Workflow: On the Interplay between Flexibility and Support.
In J. Filipe, editor, Enterprise Information Systems, pages 63-70. Kluwer Academic Publishers, Norwell, 2000.

 

97
W.M.P. van der Aalst, J. Desel, and A. Oberweis, editors.
Business Process Management: Models, Techniques, and Empirical Studies, volume 1806 of Lecture Notes in Computer Science. Springer-Verlag, Berlin, 2000.

 

98
W.M.P. van der Aalst.
Workflow Verification: Finding Control-Flow Errors using Petri-net-based Techniques.
In Business Process Management: Models, Techniques, and Empirical Studies, volume 1806 of Lecture Notes in Computer Science, pages 161-183. Springer-Verlag, Berlin, 2000.

 

99
W.M.P. van der Aalst.
Loosely Coupled Interorganizational Workflows: Modeling and Analyzing Workflows Crossing Organizational Boundaries.
Information and Management, 37(2):67-75, March 2000.

 

100
W.M.P. van der Aalst and A.H.M. ter Hofstede.
Verification of Workflow Task Structures: A Petri-net-based Approach.
Information Systems, 25(1):43-69, 2000.

 

101
B.R.T.M. Witlox, P. van der Wolf, E.H.L. Aarts, and W.M.P. van der Aalst.
Performance Analysis of Dataflow Architectures Using Timed Coloured Petri nets.
In A. Yakovlev, L. Gomes, and L. Lavagno, editors, Hardware Design and Petri Nets, pages 269-289. Kluwer Academic Publishers, Norwell, 2000.

 

102
H.M.W. Verbeek and W.M.P. van der Aalst.
Woflan 2.0: A Petri-net-based Workflow Diagnosis Tool.
In M. Nielsen and D. Simpson, editors, Application and Theory of Petri Nets 2000, volume 1825 of Lecture Notes in Computer Science, pages 475-484. Springer-Verlag, Berlin, 2000.

 

103
W.M.P. van der Aalst, P. de Crom, R. Goverde, K.M. van Hee, W. Hofman, H. Reijers, and R.A. van der Toorn.
ExSpect 6.4: An Executable Specification Tool for Hierarchical Colored Petri Nets.
In M. Nielsen and D. Simpson, editors, Application and Theory of Petri Nets 2000, volume 1825 of Lecture Notes in Computer Science, pages 455-464. Springer-Verlag, Berlin, 2000.

 

104
W.M.P. van der Aalst, K.M. van Hee, and H.A. Reijers.
Analysis of Discrete-time Stochastic Petri Nets.
Statistica Neerlandica, 54(2):237-255, 2000.

 

105
W.M.P. van der Aalst, A.H.M. ter Hofstede, B. Kiepuszewski, and A.P. Barros.
Advanced Workflow Patterns.
In O. Etzion and P. Scheuermann, editors, 7th International Conference on Cooperative Information Systems (CoopIS 2000), volume 1901 of Lecture Notes in Computer Science, pages 18-29. Springer-Verlag, Berlin, 2000.

 

106
W.M.P. van der Aalst, P. Barthelmess, C.A. Ellis, and J. Wainer.
Workflow Modeling using Proclets.
In O. Etzion and P. Scheuermann, editors, 7th International Conference on Cooperative Information Systems (CoopIS 2000), volume 1901 of Lecture Notes in Computer Science, pages 198-209. Springer-Verlag, Berlin, 2000.

 

107
W.M.P. van der Aalst, K.M. van Hee, and R.A. van der Toorn.
Component-Based Software Architectures: A Framework Based on Inheritance of Behavior.
BETA Working Paper Series, WP 45, Eindhoven University of Technology, Eindhoven, 2000.

 

108
W.M.P. van der Aalst, A.H.M. ter Hofstede, B. Kiepuszewski, and A.P. Barros.
Workflow Patterns.
BETA Working Paper Series, WP 47, Eindhoven University of Technology, Eindhoven, 2000.

 

109
W.M.P. van der Aalst.
Inheritance of Interorganizational Workflows: How to Agree to Disagree Without Loosing Control?
BETA Working Paper Series, WP 46, Eindhoven University of Technology, Eindhoven, 2000.
 
110
H.M.W. Verbeek, T. Basten, and W.M.P. van der Aalst.
Diagnosing Workflow Processes Using Woflan.
BETA Working Paper Series, WP 48, Eindhoven University of Technology, Eindhoven, 2000.

 

111
W.M.P. van der Aalst.
Gevangen in Petri-netten (interview).
Business Process Magazine, 6(8):35-38, 2000.

 

112
W.M.P. van der Aalst and S. Jablonski.
Dealing with Workflow Change: Identification of Issues and Solutions.
International Journal of Computer Systems, Science, and Engineering, 15(5):267-276, 2000.

 

113
W.M.P. van der Aalst and S. Jablonski.
Editorial: Flexible Workflow Technology Driving the Networked Economy.
International Journal of Computer Systems, Science, and Engineering, 15(5):265-266, 2000.

 

114
W.M.P. van der Aalst and S. Jablonski, editors.
Flexible Workflow Technology Driving the Networked Economy, Special Issue of the International Journal of Computer Systems, Science, and Engineering, volume 15, number 5. CRL Publishing Ltd, 2000.

 

115
W.M.P. van der Aalst and T. Basten.
Inheritance of Workflows: An approach to tackling problems related to change.
BETA Working Paper Series, WP 50, Eindhoven University of Technology, Eindhoven, 2000.

 

116
W.M.P. van der Aalst.
Exterminating the Dynamic Change Bug: A Concrete Approach to Support Change.
BETA Working Paper Series, WP 51, Eindhoven University of Technology, Eindhoven, 2000.

 

117
W.M.P. van der Aalst.
Process Design by Discovery: Harvesting Workflow Knowledge from Ad-hoc Executions.
In M. Jarke, D.E. O'Leary, and R. Studer, editors, Knowledge Management: An Interdisciplinary Approach, Dagstuhl, July 2000. Dagstuhl Seminar Report, 281.

 

118
W.M.P. van der Aalst.
Het kantoor als thuishaven (interview).
Computable, 34(9):33-35, 2001.

 

119
W.M.P. van der Aalst.
Reengineering Knock-out Processes.
Decision Support Systems, 30(4):451-468, 2001.

 

120
W.M.P. van der Aalst and K.M. van Hee.
Workflow Management: Models, Methods, and Systems.
BETA Working Paper Series, WP 52, Eindhoven University of Technology, Eindhoven, 2001.

 

121
B. Kiepuszewski, A.H.M. ter Hofstede, and W.M.P. van der Aalst.
Fundamentals of Control Flow in Workflows.
QUT Technical report, FIT-TR-2001-01, Queensland University of Technology, 2001.

 

122
W.M.P. van der Aalst.
Valkuilen bij het Selecteren van Workflow.
VIP, Vakblad voor Documentmanagement, 3(3):25-25, 2001.

 

123
T. Basten and W.M.P. van der Aalst.
Inheritance of Behavior.
Journal of Logic and Algebraic Programming, 47(2):47-145, 2001.

 

124
W.M.P. van der Aalst and T. Basten.
Identifying Commonalities and Differences in Object Life Cycles using Behavioral Inheritance.
In J.M. Colom and M. Koutny, editors, Application and Theory of Petri Nets 2001, volume 2075 of Lecture Notes in Computer Science, pages 32-52. Springer-Verlag, Berlin, 2001.

 

125
T. Basten and W.M.P. van der Aalst.
Inheritance of Dynamic Behavior: Development of a Groupware Editor.
In G. Agha, F. De Cindo, and G. Rozenberg, editors, Concurrent Object-Oriented Programming and Petri Nets, volume 2001 of Lecture Notes in Computer Science, pages 391-405. Springer-Verlag, Berlin, 2001.

 

126
W.M.P. van der Aalst and M. Weske.
The P2P approach to Interorganizational Workflows.
In K.R. Dittrich, A. Geppert, and M.C. Norrie, editors, Proceedings of the 13th International Conference on Advanced Information Systems Engineering (CAiSE'01), volume 2068 of Lecture Notes in Computer Science, pages 140-156. Springer-Verlag, Berlin, 2001.

 

127
W.M.P. van der Aalst.
Valkuilen bij het Selecteren van Workflow Management Systemen.
In Nederlands ICT-Kenniscongres, pages 46-46, Den Haag, Sept 2001.

 

128
T. Weijters and W.M.P. van der Aalst.
Process Mining: Discovering Workflow Models from Event-Based Data.
In B. Kröse, M. de Rijke, G. Schreiber, and M. van Someren, editors, Proceedings of the 13th Belgium-Netherlands Conference on Artificial Intelligence (BNAIC 2001), pages 283-290, 2001.

 

129
L. Maruster, W.M.P. van der Aalst, T. Weijters, A. van den Bosch, and W. Daelemans.
Automated Discovery of Workflow Models from Hospital Data.
In B. Kröse, M. de Rijke, G. Schreiber, and M. van Someren, editors, Proceedings of the 13th Belgium-Netherlands Conference on Artificial Intelligence (BNAIC 2001), pages 183-190, 2001.

 

130
W.M.P. van der Aalst.
Patronen voor werkstroombesturing.
Management & Informatie, 9(4):4-12, 2001.

 

131
W.M.P. van der Aalst, H.M.W. Verbeek, and A. Kumar.
Verification of XRL: An XML-based Workflow Language.
In W. Shen, Z. Lin, J.P. Barthes, and M. Kamel, editors, Proceedings of the 6th International Conference on CSCW in Design, pages 427-432. NRC Research Press, Ottawa, Canada, 2001.

 

132
W.M.P. van der Aalst, H.A. Reijers, and S. Limam.
Product-driven Workflow Design.
In W. Shen, Z. Lin, J.P. Barthes, and M. Kamel, editors, Proceedings of the 6th International Conference on CSCW in Design, pages 397-402. NRC Research Press, Ottawa, Canada, 2001.

 

133
W.M.P. van der Aalst and P.J.S. Berens.
Beyond Workflow Management: Product-Driven Case Handling.
In S. Ellis, T. Rodden, and I. Zigurs, editors, International ACM SIGGROUP Conference on Supporting Group Work (GROUP 2001), pages 42-51. ACM Press, New York, 2001.

 

134
W.M.P. van der Aalst and A. Kumar.
Team-Enabled Workflow Management Systems.
Data and Knowledge Engineering, 38(3):335-363, 2001.

 

135
H.M.W. Verbeek, T. Basten, and W.M.P. van der Aalst.
Diagnosing Workflow Processes using Woflan.
The Computer Journal, 44(4):246-279, 2001.

 

136
W.M.P. van der Aalst.
Exterminating the Dynamic Change Bug: A Concrete Approach to Support Workflow Change.
Information Systems Frontiers, 3(3):297-317, 2001.

 

137
W.M.P. van der Aalst.
How to Handle Dynamic Change and Capture Management Information: An Approach Based on Generic Workflow Models.
International Journal of Computer Systems, Science, and Engineering, 16(5):295-318, 2001.

 

138
W.M.P. van der Aalst.
Making Work Flow: On the Design, Analysis and Enactment of Business Processes (inaugural lecture given at 30 November 2001).
Eindhoven University of Technology, Eindhoven, The Netherlands, 2001.

 

139
W.M.P. van der Aalst, H.M.W. Verbeek, and A. Kumar.
XRL/Woflan: Verification of an XML/Petri-net based language for inter-organizational workflows (Best paper award).
In K. Altinkemer and K. Chari, editors, Proceedings of the 6th Informs Conference on Information Systems and Technology (CIST-2001), pages 30-45. Informs, Linthicum, MD, 2001.

 

140
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 Information Systems, 10(4):443-482, 2001.

 

141
W.M.P. van der Aalst.
Workflowmanagementsystemen op de pijnbank: Patronen voor werkstroombesturing.
VIP, Vakblad voor Documentmanagement, 13(6):40-44, 2001.

 

142
H.M.W. Verbeek, W.M.P. van der Aalst, and A. Kumar.
XRL/Woflan: Verification of an XML/Petri-net-based Language for Interorganizational Workflow.
BETA Working Paper Series, WP 65, Eindhoven University of Technology, Eindhoven, 2001.

 

143
T. Weijters and W.M.P. van der Aalst.
Rediscovering Workflow Models from Event-Based Data.
In V. Hoste and G. de Pauw, editors, Proceedings of the 11th Dutch-Belgian Conference on Machine Learning (Benelearn 2001), pages 93-100, 2001.

 

144
W.M.P. van der Aalst.
Werkstroomsoftware hapert (interview).
Computable, 34(51):1-1, 2001.

 

145
A. Kumar, W.M.P. van der Aalst, and H.M.W. Verbeek.
Dynamic Work Distribution in Workflow Management Systems: How to Balance Quality and Performance?
Journal of Management Information Systems, 18(3):157-193, 2002.

 

146
W.M.P. van der Aalst and T. Basten.
Inheritance of Workflows: An Approach to Tackling Problems Related to Change.
Theoretical Computer Science, 270(1-2):125-203, 2002.

 

147
W.M.P. van der Aalst, K.M. van Hee, and R.A. van der Toorn.
Component-Based Software Architectures: A Framework Based on Inheritance of Behavior.
Science of Computer Programming, 42(2-3):129-171, 2002. Follow link for erratum.

 

148
W.M.P. van der Aalst.
Studie effect workflow-systemen (interview).
Computable, 34(3):7-7, 2002.

 

149
W.M.P. van der Aalst and K.M. van Hee.
Workflow Management: Models, Methods, and Systems.
MIT press, Cambridge, MA, 2002.

 

150
W.M.P. van der Aalst.
Workflow Management Systemen: Doel of Middel.
VIP, Vakblad voor Documentmanagement, 14(1-2):36-38, 2002.

 

151
W.M.P. van der Aalst and H. Reijers.
Adviseurs slaan bij workflow-systemen de plank regelmatig mis.
Automatisering Gids, 36(15):15-15, 2002.

 

152
W.M.P. van der Aalst.
Inheritance and Mining of WF-nets.
In G. Engels, R. van Glabbeek, and U. Goltz, editors, Concurrency and Dynamic Behavior Modeling: Pragmatics and Semantics, Dagstuhl, March 2002. Dagstuhl Seminar Report 337.

 

153
W.M.P. van der Aalst.
Making Work Flow: On the Application of Petri nets to Business Process Management.
In J. Esparza and C. Lakos, editors, Application and Theory of Petri Nets 2002, volume 2360 of Lecture Notes in Computer Science, pages 1-22. Springer-Verlag, Berlin, 2002.

 

154
W.M.P. van der Aalst.
X-tra - Workflow Management Systemen: Doel of Middel.
Scope, 9(2):34-36, 2002.

 

155
W.M.P. van der Aalst, A. Hirnschall, and H.M.W. Verbeek.
An Alternative Way to Analyze Workflow Graphs.
In A. Banks-Pidduck, J. Mylopoulos, C.C. Woo, and M.T. Ozsu, editors, Proceedings of the 14th International Conference on Advanced Information Systems Engineering (CAiSE'02), volume 2348 of Lecture Notes in Computer Science, pages 535-552. Springer-Verlag, Berlin, 2002.

 

156
W.M.P. van der Aalst, K.M. van Hee, and R.A. van der Toorn.
Compositionality of Projection Inheritance (Erratum).
Science of Computer Programming, 44(3):343-344, 2002.

 

157
W.M.P. van der Aalst.
Inheritance of Interorganizational Workflows to Enable Business-to-Business E-commerce.
Electronic Commerce Research, 2(3):195-231, 2002.

 

158
B. Kiepuszewski, A.H.M. ter Hofstede, and W.M.P. van der Aalst.
Fundamentals of Control Flow in Workflows.
QUT Technical report, FIT-TR-2002-03, Queensland University of Technology, Brisbane, 2002.

 

159
W.M.P. van der Aalst, A.H.M. ter Hofstede, B. Kiepuszewski, and A.P. Barros.
Workflow Patterns.
QUT Technical report, FIT-TR-2002-02, Queensland University of Technology, Brisbane, 2002.
(Also see http://www.tm.tue.nl/it/research/patterns.).

 

160
W.M.P. van der Aalst and A.H.M. ter Hofstede.
Workflow Patterns: On the Expressive Power of (Petri-net-based) Workflow Languages.
In K. Jensen, editor, Proceedings of the Fourth Workshop on the Practical Use of Coloured Petri Nets and CPN Tools (CPN 2002), volume 560 of DAIMI, pages 1-20, Aarhus, Denmark, August 2002. University of Aarhus.

 

161
W.M.P. van der Aalst.
Inheritance of Dynamic Behaviour in UML.
In D. Moldt, editor, Proceedings of the Second Workshop on Modelling of Objects, Components and Agents (MOCA 2002), volume 561 of DAIMI, pages 105-120, Aarhus, Denmark, August 2002. University of Aarhus.

 

162
W.M.P. van der Aalst and B.F. van Dongen.
Discovering Workflow Performance Models from Timed Logs.
In Y. Han, S. Tai, and D. Wikarski, editors, International Conference on Engineering and Deployment of Cooperative Information Systems (EDCIS 2002), volume 2480 of Lecture Notes in Computer Science, pages 45-63. Springer-Verlag, Berlin, 2002.

 

163
L. Maruster, W.M.P. van der Aalst, A.J.M.M. Weijters, A. van den Bosch, and W. Daelemans.
Automated Discovery of Workflow Models from Hospital Data.
In C. Dousson, F. Höppner, and R. Quiniou, editors, Proceedings of the ECAI Workshop on Knowledge Discovery and Spatial Data, pages 32-36, 2002.

 

164
A.J.M.M. Weijters and W.M.P. van der Aalst.
Workflow Mining: Discovering Workflow Models from Event-Based Data.
In C. Dousson, F. Höppner, and R. Quiniou, editors, Proceedings of the ECAI Workshop on Knowledge Discovery and Spatial Data, pages 78-84, 2002.

 

165
L. Maruster, J.C. Wortmann, A.J.M.M. Weijters, and W.M.P. van der Aalst.
Discovering Distributed Processes in Supply Chains.
In H. Jagdev, H. Wortmann, H.J. Pels, and A. Hirnschall, editors, Proceedings of the International Conference on Advanced Production Management Systems (APMS 2002), pages 119-128, 2002.

 

166
W.M.P. van der Aalst, K.M. van Hee, and R.A. van der Toorn.
Construction Rules for Component-Based Architectures.
Computing Science Reports 02/08, Eindhoven University of Technology, Eindhoven, 2002.

 

167
H.M.W. Verbeek, A. Hirnschall, and W.M.P. van der Aalst.
XRL/Flower: Supporting Interorganizational Workflows using XRL/Petri-net Technology.
In C. Bussler, R. Hull, S. McIlraith, M. Orlowska, B. Pernici, and J. Yang, editors, Web Services, E-Business, and the Semantic Web, CAiSE 2002 International Workshop (WES 2002), volume 2512 of Lecture Notes in Computer Science, pages 93-108. Springer-Verlag, Berlin, 2002.

 

168
J.W.F. Wamelink, M. Stoffele, and W.M.P. van der Aalst.
Workflow Management in Construction: Opportunities for the Future.
In K. Agger, P. Christiansson, and R. Howard, editors, Proceedings of CIB W78 conference 2002: Distributing Knowledge in Building, pages 115-122, Aarhus, Denmark, 2002. International Council for Research and Innovation in Building and Construction, Rotterdam, The Netherlands.

 

169
W.M.P. van der Aalst, A.J.M.M. Weijters, and L. Maruster.
Workflow Mining: Which Processes can be Rediscovered?
BETA Working Paper Series, WP 74, Eindhoven University of Technology, Eindhoven, 2002.

 

170
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.

 

171
A.J.M.M. Weijters and W.M.P. van der Aalst.
Rediscovering Workflow Models from Event-Based Data.
In Proceedings of the Third International NAISO Symposium on Engineering of Intelligent Systems (EIS 2002), pages 65-65. NAISO Academic Press, Sliedrecht, The Netherlands, 2002.
Full paper on CD-rom proceedings.

 

172
L. Maruster, A.J.M.M. Weijters, W.M.P. van der Aalst, and A. van den Bosch.
Process Mining: Discovering Direct Successors in Process Logs.
In Proceedings of the 5th International Conference on Discovery Science (Discovery Science 2002), volume 2534 of Lecture Notes in Artificial Intelligence, pages 364-373. Springer-Verlag, Berlin, 2002.

 

173
W.M.P. van der Aalst.
Piet's Razor Applied to BPR: Reengineering Knock-out Processes.
In M. Jansen-Vullers and T. Valstar, editors, Op het Grensvlak van Logistiek en ICT (Liber Amoricum Piet van der Vlist), pages 199-214. Eindhoven University of Technology, I&T, Eindhoven, The Netherlands, 2002.

 

174
W.M.P. van der Aalst and A.H.M. ter Hofstede.
YAWL: Yet Another Workflow Language.
QUT Technical report, FIT-TR-2002-06, Queensland University of Technology, Brisbane, 2002.

 

175
P. Wohed, W.M.P. van der Aalst, M. Dumas, and A.H.M. ter Hofstede.
Pattern-Based Analysis of BPEL4WS.
QUT Technical report, FIT-TR-2002-04, Queensland University of Technology, Brisbane, 2002.

 

176
W.M.P. van der Aalst, M. Dumas, A.H.M. ter Hofstede, and P. Wohed.
Pattern-Based Analysis of BPML (and WSCI).
QUT Technical report, FIT-TR-2002-05, Queensland University of Technology, Brisbane, 2002.

 

177
W.M.P. van der Aalst and T. Weijters.
X-tra - KLeinduimpje in Workflowland: Op zoek naar procesdata.
Scope, 10(12):38-40, 2002.

 

178
W.M.P. van der Aalst.
Part V: Application Domains, Chapter 23: Introduction.
In G. Girault and R. Valk, editors, Petri Nets for Systems Engineering: A Guide to Modeling, Verification, and Applications, pages 473-477. Springer-Verlag, Berlin, 2003.

 

179
W.M.P. van der Aalst and M. van de Graaf.
Part V: Application Domains, Chapter 25: Workflow Systems.
In G. Girault and R. Valk, editors, Petri Nets for Systems Engineering: A Guide to Modeling, Verification, and Applications, pages 507-539. Springer-Verlag, Berlin, 2003.

 

180
W.M.P. van der Aalst.
Part V: Application Domains, Chapter 27: Conclusion.
In G. Girault and R. Valk, editors, Petri Nets for Systems Engineering: A Guide to Modeling, Verification, and Applications, pages 567-569. Springer-Verlag, Berlin, 2003.

 

181
W.M.P. van der Aalst.
Don't go with the flow: Web services composition standards exposed.
IEEE Intelligent Systems
, 18(1):72-76, 2003.

 

182
W.M.P. van der Aalst, A.H.M. ter Hofstede, and M. Weske, editors. International Conference on Business Process Management (BPM 2003), volume 2678 of Lecture Notes in Computer Science. Springer-Verlag, Berlin, 2003.

 

183
W.M.P. van der Aalst, A.H.M. ter Hofstede, and M. Weske.
Business Process Management: A Survey.
In W.M.P. van der Aalst, A.H.M. ter Hofstede, and M. Weske, editors, International Conference on Business Process Management (BPM 2003), volume 2678 of Lecture Notes in Computer Science, pages 1-12. Springer-Verlag, Berlin, 2003.

 

184
W.M.P. van der Aalst and E. Best, editors. 24th International Conference on Applications and Theory of Petri Nets (ICATPN 2003), volume 2679 of Lecture Notes in Computer Science. Springer-Verlag, Berlin, 2003.

 

185
B. Kiepuszewski, A.H.M. ter Hofstede, and W.M.P. van der Aalst.
Fundamentals of Control Flow in Workflows.
Acta Informatica
, 39(3):143-209, 2003.

 

186
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.

 

187
W.M.P. van der Aalst, M. Stoffele, and J.W.F. Wamelink.
Case Handling in Construction.
Automation in Construction
, 12(3):303-320, 2003.

 

188
A.J.M.M. Weijters and W.M.P. van der Aalst.
Rediscovering Workflow Models from Event-Based Data using Little Thumb.
Integrated Computer-Aided Engineering
, 10(2):151-162, 2003.

 

189
W.M.P. van der Aalst and A. Kumar.
XML Based Schema Definition for Support of Inter-organizational Workflow.
Information Systems Research
, 14(1):23-46, 2003.

 

190
W.M.P. van der Aalst and T. Weijters.
Kleinduimpje in Workflowland.
Management & Informatie
, 11(1):4-8, 2003.

 

191
W.M.P. van der Aalst.
Inheritance of Interorganizational Workflows: How to agree to disagree without loosing control?
Information Technology and Management Journal
, 2(3):195-231, 2002.
 
192
W.M.P. van der Aalst.
Petrinet brengt processen in kaart (interview).
Network World
, 1(2):16-17, 2003.

 

193
L. Maruster, J.C. Wortmann, A.J.M.M. Weijters, and W.M.P. van der Aalst.
Discovering Distributed Processes in Supply Chains.
In H. Jagdev, J.C. Wortmann, and H.J. Pels, editors, Collaborative Systems for Production Management, pages 219-243. Elsevier Science Publishers, Amsterdam, 2003.

 

194
H.A. Reijers, S. Limam, and W.M.P. van der Aalst.
Product-based Workflow Design.
Journal of Management Information systems
, 20(1):229-262, 2003.

 

195
W.M.P. van der Aalst, A.J.M.M. Weijters, and L. Maruster.
Workflow Mining: Discovering Process Models from Event Logs.
QUT Technical report, FIT-TR-2003-03, Queensland University of Technology, Brisbane, 2003. 

 

196
W.M.P. van der Aalst.
Wetenschap ontmoet producenten op BPM-congres (interview).
Business Process Magazine
, 9(5):42-44, 2003.

 

197
W.M.P. van der Aalst.
Workflow mining of: Hoe werken we nu echt? (Procesmodellen destilleren uit workflow- of event- logs) (in Dutch).
Business Process Magazine
, 9(6):13-17, 2003..

 

198
W.M.P. van der Aalst and A.H.M. ter Hofstede.
YAWL: Yet Another Workflow Language (Revised Version).
QUT Technical report, FIT-TR-2003-04, Queensland University of Technology, Brisbane, 2003.

 

199
W.M.P. van der Aalst.
Business Process Management: Instrumente der Zukunft (in German).
FIN.KOM: Magazin für Banking Innovation
, 3(3):2-3, 2003.

 

200
M. Rosemann and W.M.P. van der Aalst.
A Configurable Reference Modelling Language.
QUT Technical report, FIT-TR-2003-05, Queensland University of Technology, Brisbane, 2003.

 

201
W.M.P. van der Aalst.
Patterns and XPDL: A Critical Evaluation of the XML Process Definition Language.
QUT Technical report, FIT-TR-2003-06, Queensland University of Technology, Brisbane, 2003.

 

202
W.M.P. van der Aalst, L. Aldred, M. Dumas, and A.H.M. ter Hofstede.
Design and Implementation of the YAWL System.
QUT Technical report, FIT-TR-2003-07, Queensland University of Technology, Brisbane, 2003.

 

203
W.M.P. van der Aalst, J-M. Colom, F. Kordon, G. Kotsis, and D. Moldt.
Petri Net Approaches for Modelling and Validation
, volume 1 of LINCOM Studies in Computer Science. Lincom, München, Germany, 2003.

 

204
W.M.P. van der Aalst.
Chapter 1: Putting Petri Nets to Work in the Workflow Arena. In W. van der Aalst, J-M. Colom, F. Kordon, G. Kotsis, and D. Moldt, editors,
Petri Net Approaches for Modelling and Validation
, volume 1 of LINCOM Studies in Computer Science, pages 1-20. Lincom, München, Germany, 2003.

 

205
W.M.P. van der Aalst, A. Kumar, and H.M.W. Verbeek.
Organizational Modeling in UML and XML in the context of Workflow Systems.
In H. Haddad and G. Papadopoulos, editors, Proceedings of the 18th Annual ACM Symposium on Applied Computing (SAC 2003), pages 603-608. ACM Press, 2003.

 

206
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 Engineering
, 47(2):237-267, 2003.

 

207
H. Reijers and W.M.P. van der Aalst.
Formele methoden in Business Process Management.
Informatie
, 45(5):50-53, 2003.

 

208
W.M.P. van der Aalst.
Congresserend de zomer door.
Computable
, 36(23):14-15, 2003.

 

209
W.M.P. van der Aalst.
Challenges in Business Process Management: Verification of business processes using Petri nets.
Bulletin of the EATCS
, 80:174-198, 2003.

 

210
P. Wohed, W.M.P. van der Aalst, M. Dumas, and A.H.M. ter Hofstede.
Analysis of Web Services Composition Languages: The Case of BPEL4WS.
In I.Y. Song, S.W. Liddle, T.W. Ling, and P. Scheuermann, editors, 22nd International Conference on Conceptual Modeling (ER 2003), volume 2813 of Lecture Notes in Computer Science, pages 200-215. Springer-Verlag, Berlin, 2003.

 

211
W.M.P. van der Aalst, M. Dumas, and A.H.M. ter Hofstede.
Web Service Composition Languages: Old Wine in New Bottles?
In G. Chroust and C. Hofer, editors, Proceeding of the 29th EUROMICRO Conference: New Waves in System Architecture, pages 298-305. IEEE Computer Society, Los Alamitos, CA, 2003.

 

212
H. Reijers, J. Rigter, and W.M.P. van der Aalst.
The Case Handling Case.
International Journal of Cooperative Information Systems
, 12(3):365-391, 2003.

 

213
W.M.P. van der Aalst.
Workflow: Vijftien jaar jong en nog volop in groei (interview).
ICT in Zekerheid
, 3(5):4-7, 2003.

 

214
W.M.P. van der Aalst.
Inheritance of Business Processes: A Journey Visiting Four Notorious Problems.
In H. Ehrig, W. Reisig, G. Rozenberg, and H. Weber, editors, Petri Net Technology for Communication Based Systems, volume 2472 of Lecture Notes in Computer Science, pages 383-408. Springer-Verlag, Berlin, 2003.

 

215
A.K.A. de Medeiros, W.M.P. van der Aalst, and A.J.M.M. Weijters.
Workflow Mining: Current Status and Future Directions.
In R. Meersman, Z. Tari, and D.C. Schmidt, editors, On The Move to Meaningful Internet Systems 2003: CoopIS, DOA, and ODBASE, volume 2888 of Lecture Notes in Computer Science, pages 389-406. Springer-Verlag, Berlin, 2003.

 

216
W.M.P. van der Aalst, M. Weske, and G. Wirtz.
Advanced Topics in Workflow Management: Issues, Requirements, and Solutions.
Journal of Integrated Design and Process Science
, 7(3):49-77, 2003.

 

217
H.M.W. Verbeek, W.M.P. van der Aalst, and A. Kumar.
Verification and Extensibility of an XML/Petri-net-based Language for Inter-organizational Workflows.
Information Technology and Management Journal
, 5(1):65-110, 2004.

 

218
W.M.P. van der Aalst and A.J.M.M. Weijters, editors.
Process Mining
, Special Issue of Computers in Industry, Volume 53, Number 3. Elsevier Science Publishers, Amsterdam, 2004.

 

219
W.M.P. van der Aalst and A.J.M.M. Weijters.
Process Mining: A Research Agenda.
Computers in Industry
, 53(3):231-244, 2004.

 

220
N. Russell, A.H.M. ter Hofstede, D. Edmond, and W.M.P. van der Aalst.
Workflow Data Patterns.
QUT Technical report, FIT-TR-2004-01, Queensland University of Technology, Brisbane, 2004.

 

221
A.K.A. de Medeiros, B.F. van Dongen, W.M.P. van der Aalst, and A.J.M.M. Weijters.
Process Mining: Extending the a-algorithm to Mine Short Loops.
BETA Working Paper Series, WP 113, Eindhoven University of Technology, Eindhoven, 2004.
 

 

222
W.M.P. van der Aalst.
Business Alignment: Using Process Mining as a Tool for Delta Analysis.
In J. Grundspenkis and M. Kirikova, editors, Proceedings of the 5th Workshop on Business Process Modeling, Development and Support (BPMDS'04), volume 2 of Caise'04 Workshops, pages 138-145. Riga Technical University, Latvia, 2004.
223
A.K.A. de Medeiros, B.F. van Dongen, W.M.P. van der Aalst, and A.J.M.M. Weijters.
Process Mining for Ubiquitous Mobile Systems: An Overview and a Concrete Algorithm.
In L. Baresi, S. Dustdar, H. Gall, and M. Matera, editors, Ubiquitous Mobile Information and Collaboration Systems (UMICS 2004), pages 156-170, 2004.

 

224
W.M.P. van der Aalst, L. Aldred, M. Dumas, and A.H.M. ter Hofstede.
Design and Implementation of the YAWL System.
In A. Persson and J. Stirna, editors, Advanced Information Systems Engineering, Proceedings of the 16th International Conference on Advanced Information Systems Engineering (CAiSE'04), volume 3084 of Lecture Notes in Computer Science, pages 142-159. Springer-Verlag, Berlin, 2004.

 

225
M. Song, W.M.P. van der Aalst, and I. Choi M. Song.
Mining Social Networks for Business Process Logs (in Korean).
In Spring conference on Industrial Engineering and Management Science. Chonbook University, Korea, 2004.
 
226
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-Verlag, Berlin, 2004.
 
227
W.M.P. van der Aalst and K.M. van Hee. Workflow Management: Models, Methods and Systems (in Chinese). Tsingua University Press, Beijing, China, 2004.
 
228
W.M.P. van der Aalst and K.M. van Hee. Workflow Management: Models, Methods and Systems (in Dutch, second revised print). Academic Service, Schoonhoven, 2004.
 
229
W.M.P. van der Aalst. Business Process Management: A Personal View. Business Process Management Journal, 10(2):135-139, 2004.
 
230
W.M.P. van der Aalst and M. Song. Discovering Social Networks from Event Logs. BETA Working Paper Series, WP 116, Eindhoven University of Technology, Eindhoven, 2004.
 
231
W.M.P. van der Aalst. Matching Observed Behavior and Modeled Behavior: An Approach Based on Petri nets and Integer Programming. BETA Working Paper Series, WP 117, Eindhoven University of Technology, Eindhoven, 2004.
 
232
L. Wen, J. Wang, W.M.P. van der Aalst, Z. Wang, and J. Sun. A Novel Approach for Process Mining Based on Event Types. BETA Working Paper Series, WP 118, Eindhoven University of Technology, Eindhoven, 2004.
 
233
W.M.P. van der Aalst and M. Song. Mining Social Networks: Uncovering Interaction Patterns in Business Processes. In J. Desel, B. Pernici, and M. Weske, editors, International Conference on Business Process Management (BPM 2004), volume 3080 of Lecture Notes in Computer Science, pages 244-260. Springer-Verlag, Berlin, 2004.
 
234
M. Weske, W.M.P. van der Aalst, and H.M.W. Verbeek, editors. Advances in Business Process Management, Special Issue of Data and Knowledge Engineering, Volume 50, Issue 1. Elsevier Science Publishers, Amsterdam, 2004.
 
235
M. Weske, W.M.P. van der Aalst, and H.M.W. Verbeek. Advances in Business Process Management. Data and Knowledge Engineering, 50(1):1-8, 2004.
 
236
B.F. van Dongen and W.M.P. van der Aalst. EMiT: A Process Mining Tool. In J. Cortadella and W. Reisig, editors, Application and Theory of Petri Nets 2004, volume 3099 of Lecture Notes in Computer Science, pages 454-463. Springer-Verlag, Berlin, 2004.
 
237
W.M.P. van der Aalst and A.K.A. de Medeiros. Process Mining and Security: Detecting Anomalous Process Executions and Checking Process Conformance. In N. Busi, R. Gorrieri, and F. Martinelli, editors, Second International Workshop on Security Issues with Petri Nets and other Computational Models (WISP 2004), pages 69-84. STAR, Servizio Tipografico Area della Ricerca, CNR Pisa, Italy, 2004
238
W.M.P. van der Aalst. Discovering Coordination Patterns using Process Mining. In L. Bocchi and P. Ciancarini, editors, First International Workshop on Coordination and Petri Nets (PNC 2004), pages 49-64. STAR, Servizio Tipografico Area della Ricerca, CNR Pisa, Italy, 2004.
239
R. Meersman, Z. Tari, W.M.P. van der Aalst, C. Bussler, and A. Gal et al., editors. On the Move to Meaningful Internet Systems 2004: CoopIS, DOA, and ODBASE: OTM Confederated International Conferences, CoopIS, DOA, and ODBASE 2004 (Part I), volume 3290 of Lecture Notes in Computer Science. Springer-Verlag, Berlin, 2004.
 
240
R. Meersman, Z. Tari, W.M.P. van der Aalst, C. Bussler, and A. Gal et al., editors. On the Move to Meaningful Internet Systems 2004: CoopIS, DOA, and ODBASE: OTM Confederated International Conferences, CoopIS, DOA, and ODBASE 2004 (Part II), volume 3291 of Lecture Notes in Computer Science. Springer-Verlag, Berlin, 2004.
 
241
W.M.P. van der Aalst, C. Bussler, and A. Gal. CoopIS 2004 International Conference (International Conference on Cooperative Information Systems) PC Co-chairs Message. In R. Meersman, Z. Tari, W.M.P. van der Aalst, C. Bussler, and A. Gal et al., editors, On the Move to Meaningful Internet Systems 2004: CoopIS, DOA, and ODBASE: OTM Confederated International Conferences, CoopIS, DOA, and ODBASE 2004, volume 3290 of Lecture Notes in Computer Science, pages 1-1, 2004.
 
242
P. Wohed, W.M.P. van der Aalst, M. Dumas, A.H.M. ter Hofstede, and N. Russell. Pattern-based Analysis of UML Activity Diagrams. BETA Working Paper Series, WP 129, Eindhoven University of Technology, Eindhoven, 2004.
243
M.T. Wynn, D. Edmond, W.M.P. van der Aalst, and A.H.M. ter Hofstede. Achieving a General, Formal and Decidable Approach to the OR-join in Workflow using Reset nets. QUT Technical report, FIT-TR-2004-02, Queensland University of Technology, Brisbane, 2004.
 
244
A.K.A. de Medeiros, B.F. van Dongen, W.M.P. van der Aalst, and A.J.M.M. Weijters. Process Mining for Ubiquitous Mobile Systems: An Overview and a Concrete Algorithm. In L. Baresi, S. Dustdar, H. Gall, and M. Matera, editors, Ubiquitous Mobile Information and Collaboration Systems (UMICS 2004), volume 3272 of Lecture Notes in Computer Science, pages 154-168. Springer-Verlag, Berlin, 2004.
 
245
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.
 
246
J. Dehnert and W.M.P. van der Aalst. Bridging the Gap Between Business Models and Workflow Specifications. International Journal of Cooperative Information Systems, 13(3):289-332, 2004.
247
B.F. van Dongen and W.M.P. van der Aalst. Multi-Phase Process Mining: Building Instance Graphs. In P. Atzeni, W. Chu, H. Lu, S. Zhou, and T.W. Ling, editors, International Conference on Conceptual Modeling (ER 2004), volume 3288 of Lecture Notes in Computer Science, pages 362-376. Springer-Verlag, Berlin, 2004.
248
E. Liu, A. Kumar, and W.M.P. van der Aalst. A Formal Modeling Approach for Supply Chain Management. In A. Dutta and P. Goes, editors, Proceedings of 14th Annual Workshop on Information Technologies and Systems (WITS 2004), pages 110-115, Washington, DC, December 2004.
249
A.K.A. de Medeiros, A.J.M.M. Weijters, and W.M.P. van der Aalst. Using Genetic Algorithms to Mine Process Models: Representation, Operators and Results. BETA Working Paper Series, WP 124, Eindhoven University of Technology, Eindhoven, 2004.
 
250
N. Russell, A.H.M. ter Hofstede, D. Edmond, and W.M.P. van der Aalst. Workflow Resource Patterns. BETA Working Paper Series, WP 127, Eindhoven University of Technology, Eindhoven, 2004.
 
251
W.M.P. van der Aalst and A.H.M. ter Hofstede. YAWL: Yet Another Workflow Language. Information Systems, 30(4):245-275, 2005.
 
252
W.M.P. van der Aalst, M. Weske, and D. Grünbauer. Case Handling: A New Paradigm for Business Process Support. Data and Knowledge Engineering, 53(2):129-162, 2005.
 
253
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. BETA Working Paper Series, WP 136, Eindhoven University of Technology, Eindhoven, 2005.
 
254
N. Russell, W.M.P.van der Aalst, A.H.M. ter Hofstede, and D. Edmond. Workflow Resource Patterns: Identification, Representation and Tool Support. In O. Pastor and J. Falcao e Cunha, editors, Proceedings of the 17th Conference on Advanced Information Systems Engineering (CAiSE'05), volume 3520 of Lecture Notes in Computer Science, pages 216-232. Springer-Verlag, Berlin, 2005.
 
255
W.M.P. van der Aalst. Process Mining in CSCW Systems. In W. Shen and A. James et al., editors, Proceedings of the 9th IEEE International Conference on Computer Supported Cooperative Work in Design (CSCWD 2005), pages 1-8. Coventry University/IEEE Computer Society Press, 2005.
 
256
B.F. van Dongen, W.M.P. van der Aalst, and H.M.W. Verbeek. Verification of EPCs: Using Reduction Rules and Petri Nets. In O. Pastor and J. Falcao e Cunha, editors, Proceedings of the 17th Conference on Advanced Information Systems Engineering (CAiSE'05), volume 3520 of Lecture Notes in Computer Science, pages 372-386. Springer-Verlag, Berlin, 2005.
 
257
W.M.P. van der Aalst. Pi Calculus Versus Petri Nets: Let Us Eat Humble Pie Rather Than Further Inflate the Pi Hype. BPTrends, 3(5):1-11, May 2005.
 
258
N. Mulyar and W.M.P. van der Aalst. Patterns in Colored Petri Nets. BETA Working Paper Series, WP 139, Eindhoven University of Technology, Eindhoven, 2005.
 
259
W.M.P. van der Aalst and A.K.A. de Medeiros. Process Mining and Security: Detecting Anomalous Process Executions and Checking Process Conformance. Electronic Notes in Theoretical Computer Science, 121:3-21, 2005.
 
260
M. Adams, A.H.M. ter Hofstede, D. Edmond, and W.M.P. van der Aalst. Facilitating Flexibility and Dynamic Exception Handling in Workflows. In O. Belo, J. Eder, O. Pastor, and J. Falcao e Cunha, editors, Proceedings of the CAiSE'05 Forum, pages 45-50. FEUP, Porto, Portugal, 2005.
 
261
B.F. van Dongen and W.M.P. van der Aalst. A Meta Model for Process Mining Data. In J. Casto and E. Teniente, editors, Proceedings of the CAiSE'05 Workshops (EMOI-INTEROP Workshop), volume 2, pages 309-320. FEUP, Porto, Portugal, 2005.
 
262
B. van Dongen and W.M.P. van der Aalst. Multi-Phase Mining: Aggregating Instances Graphs into EPCs and Petri Nets. In D. Marinescu, editor, Proceedings of the Second International Workshop on Applications of Petri Nets to Coordination, Workflow and Business Process Management, pages 35-58. Florida International University, Miami, Florida, USA, 2005.
 
263
H.M.W. Verbeek and W.M.P. van der Aalst. Analyzing BPEL Processes using Petri Nets. In D. Marinescu, editor, Proceedings of the Second International Workshop on Applications of Petri Nets to Coordination, Workflow and Business Process Management, pages 59-78. Florida International University, Miami, Florida, USA, 2005.
 
264
B. van Dongen, A.K. Alves de Medeiros, H.M.W. Verbeek, A.J.M.M. Weijters, and W.M.P. van der Aalst. The ProM framework: A New Era in Process Mining Tool Support. In G. Ciardo and P. Darondeau, editors, Application and Theory of Petri Nets 2005, volume 3536 of Lecture Notes in Computer Science, pages 444-454. Springer-Verlag, Berlin, 2005.
 
265
M.T. Wynn, D. Edmond, W.M.P. van der Aalst, and A.H.M. ter Hofstede. Achieving a General, Formal and Decidable Approach to the OR-join in Workflow using Reset nets. In G. Ciardo and P. Darondeau, editors, Applications and Theory of Petri Nets 2005, volume 3536 of Lecture Notes in Computer Science, pages 423-443. Springer-Verlag, Berlin, 2005.
 
266
W.M.P. van der Aalst, A.K. Alves de Medeiros, and A.J.M.M. Weijters. Genetic Process Mining. In G. Ciardo and P. Darondeau, editors, Applications and Theory of Petri Nets 2005, volume 3536 of Lecture Notes in Computer Science, pages 48-69. Springer-Verlag, Berlin, 2005.
 
267
J. Hidders, M. Dumas, W.M.P. van der Aalst, A. H.M. ter Hofstede, and J. Verelst. When are two workflows the same? In Proceedings of Computing: The 11th Australasian Theory Symposium (CATS'2005), volume 41 of Conferences in Research and Practice in Information Technology, pages 3-11, Newcastle, Australia, February 2005. Australian Computer Society.
 
268
S. Dustdar, T. Hoffmann, and W.M.P. van der Aalst. Mining of ad-hoc business processes with TeamLog. Data and Knowledge Engineering, 55(2):129-158, 2005.
 
269
A. Dreiling, M. Rosemann, W.M.P. van der Aalst, W. Sadiq, and S. Khan. Model-driven process configuration of enterprise systems. In O.K. Ferstl, E.J. Sinz, S. Eckert, and T. Isselhorst, editors, Wirtschaftsinformatik 2005. eEconomy, eGovernment, eSociety, pages 687-706, Heidelberg, Germany, 2005. Physica-Verlag.
 
270
M. Dumas, W.M.P. van der Aalst, and A.H.M. ter Hofstede. Process-Aware Information Systems: Bridging People and Software through Process Technology. Wiley & Sons, 2005.
 
271
W.M.P. van der Aalst, A.H.M. ter Hofstede, and M. Dumas. Patterns of Process Modeling. In M. Dumas, W.M.P. van der Aalst, and A.H.M. ter Hofstede, editors, Process-Aware Information Systems: Bridging People and Software through Process Technology, pages 179-203. Wiley & Sons, 2005.
 
272
W.M.P. van der Aalst and A.J.M.M. Weijters. Process Mining. In M. Dumas, W.M.P. van der Aalst, and A.H.M. ter Hofstede, editors, Process-Aware Information Systems: Bridging People and Software through Process Technology, pages 235-255. Wiley & Sons, 2005.
 
273
W.M.P. van der Aalst, B. Benatallah, F. Casati, and F. Curbera, editors. International Conference on Business Process Management (BPM 2005), volume 3649 of Lecture Notes in Computer Science. Springer-Verlag, Berlin, 2005.
 
274
W.M.P. van der Aalst, M. Dumas, A.H.M. ter Hofstede, N. Russell, H.M.W. Verbeek, and P. Wohed. Life After BPEL? In M. Bravetti, L. Kloul, and G. Zavattaro, editors, WS-FM 2005, volume 3670 of Lecture Notes in Computer Science, pages 35-50. Springer-Verlag, Berlin, 2005.
 
275
H.A. Reijers and W.M.P. van der Aalst. The Effectiveness of Workflow Management Systems: Predictions and Lessons Learned. International Journal of Information Management, 25(5):458-472, 2005.
 
276
A. Rozinat and W.M.P. van der Aalst. Conformance Testing: Measuring the Fit and Appropriateness of Event Logs and Process Models. In M. Castellanos and T. Weijters, editors, First International Workshop on Business Process Intelligence (BPI'05), pages 1-12, Nancy, France, September 2005.
 
277
A.K.A. de Medeiros, A.J.M.M. Weijters, and W.M.P. van der Aalst. Genetic Process Mining: A Basic Approach and its Challenges. In M. Castellanos and T. Weijters, editors, First International Workshop on Business Process Intelligence (BPI'05), pages 46-57, Nancy, France, September 2005.
 
278
M. Pesic and W.M.P. van der Aalst. Towards a Reference Model for Work Distribution in Workflow Management Systems. In E. Kindler and M. Nuettgens, editors, First International Workshop on Business Process Reference Models (BPRM'05), pages 30-44, Nancy, France, September 2005.
 
279
J. Recker, M. Rosemann, W.M.P. van der Aalst, and J. Mendling. On the Syntax of Reference Model Configuration: Transforming the C-EPC into Lawful EPC Models. In E. Kindler and M. Nuettgens, editors, First International Workshop on Business Process Reference Models (BPRM'05), pages 60-75, Nancy, France, September 2005.
 
280
W.M.P. van der Aalst, A. Dreiling, F. Gottschalk, M. Rosemann, and M.H. Jansen-Vullers. Towards a Reference Model for Work Distribution in Workflow Management Systems. In E. Kindler and M. Nuettgens, editors, First International Workshop on Business Process Reference Models (BPRM'05), pages 76-82, Nancy, France, September 2005.
 
281
W.M.P. van der Aalst, J.B. Jørgensen, and K.B. Lassen. Let's Go All the Way: From Requirements via Colored Workflow Nets to a BPEL Implementation of a New Bank System Paper. In R. Meersman and Z. Tari et al., editors, 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 22-39. Springer-Verlag, Berlin, 2005.
 
282
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., editors, 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-Verlag, Berlin, 2005.
 
283
L. Aldred, W.M.P. van der Aalst, M. Dumas, and A.H.M. ter Hofstede. On the Notion of Coupling in Communication Middleware. In R. Meersman and Z. Tari et al., editors, On the Move to Meaningful Internet Systems 2005: CoopIS, DOA, and ODBASE: OTM Confederated International Conferences, CoopIS, DOA, and ODBASE 2005, volume 3761 of Lecture Notes in Computer Science, pages 1015-1033. Springer-Verlag, Berlin, 2005.
 
284
A. Rozinat and W.M.P. van der Aalst. Conformance Testing: Measuring the Alignment Between Event Logs and Process Models. BETA Working Paper Series, WP 144, Eindhoven University of Technology, Eindhoven, 2005.
 
285
W.M.P. van der Aalst and K.B. Lassen. Translating Workflow Nets to BPEL4WS. BETA Working Paper Series, WP 145, Eindhoven University of Technology, Eindhoven, 2005.
 
286
M. Pesic and W.M.P. van der Aalst. Modeling Work Distribution Mechanisms using Colored Petri Nets. BETA Working Paper Series, WP 146, Eindhoven University of Technology, Eindhoven, 2005.
 
287
C.W. Guenther and W.M.P. van der Aalst. Process Mining in Case Handling Systems. BETA Working Paper Series, WP 150, Eindhoven University of Technology, Eindhoven, 2005.
 
288
N. Mulyar and W.M.P. van der Aalst. Towards a Pattern Language for Colored Petri Nets. In K. Jensen, editor, Proceedings of the Sixth Workshop on the Practical Use of Coloured Petri Nets and CPN Tools (CPN 2005), volume 576 of DAIMI, pages 39-48, Aarhus, Denmark, October 2005. University of Aarhus.
 
289
I. Vanderfeesten, W.M.P. van der Aalst, and H.A. Reijers. Modelling a Product Based Workflow System in CPN tools. In K. Jensen, editor, Proceedings of the Sixth Workshop on the Practical Use of Coloured Petri Nets and CPN Tools (CPN 2005), volume 576 of DAIMI, pages 99-118, Aarhus, Denmark, October 2005. University of Aarhus.
 
290
M. Pesic and W.M.P. van der Aalst. Modeling Work Distribution Mechanisms Using Colored Petri Nets. In K. Jensen, editor, Proceedings of the Sixth Workshop on the Practical Use of Coloured Petri Nets and CPN Tools (CPN 2005), volume 576 of DAIMI, pages 157-176, Aarhus, Denmark, October 2005. University of Aarhus.
 
291
C.W. Guenther and W.M.P. van der Aalst. Modeling the Case Handling Principles with Colored Petri Nets. In K. Jensen, editor, Proceedings of the Sixth Workshop on the Practical Use of Coloured Petri Nets and CPN Tools (CPN 2005), volume 576 of DAIMI, pages 211-230, Aarhus, Denmark, October 2005. University of Aarhus.
 
292
M. Netjes, W.M.P. van der Aalst, and H.A. Reijers. Analysis of Resource-Constrained Processes with Colored Petri Nets. In K. Jensen, editor, Proceedings of the Sixth Workshop on the Practical Use of Coloured Petri Nets and CPN Tools (CPN 2005), volume 576 of DAIMI, pages 251-266, Aarhus, Denmark, October 2005. University of Aarhus.
 
293
M. Dumas, W.M.P. van der Aalst, and A.H.M. ter Hofstede. Introduction. In M. Dumas, W.M.P. van der Aalst, and A.H.M. ter Hofstede, editors, Process-Aware Information Systems: Bridging People and Software through Process Technology, pages 3-20. Wiley & Sons, 2005.
 
294
C. Ouyang, W.M.P. van der Aalst, S. Breutel, M. Dumas, A.H.M. ter Hofstede, and H.M.W. Verbeek. Formal Semantics and Analysis of Control Flow in WS-BPEL. BPM Center Report BPM-05-15, BPMcenter.org, 2005.
 
295
W.M.P. van der Aalst, M. Dumas, C. Ouyang, A. Rozinat, and H.M.W. Verbeek. Choreography Conformance Checking: An Approach based on BPEL and Petri Nets (extended version). BPM Center Report BPM-05-25, BPMcenter.org, 2005.
 
296
P. Wohed, W.M.P. van der Aalst, M. Dumas, A.H.M. ter Hofstede, and N. Russell. Pattern-Based Analysis of the Control-Flow Perspective of UML Activity Diagrams. In L. Delcambre, C. Kop, H.C. Mayr, J. Mylopoulos, and O. Pastor, editors, 24nd International Conference on Conceptual Modeling (ER 2005), volume 3716 of Lecture Notes in Computer Science, pages 63-78. Springer-Verlag, Berlin, 2005.
 
297
N. Russell, A.H.M. ter Hofstede, D. Edmond, and W.M.P. van der Aalst. Workflow Data Patterns: Identification, Representation and Tool Support. In L. Delcambre, C. Kop, H.C. Mayr, J. Mylopoulos, and O. Pastor, editors, 24nd International Conference on Conceptual Modeling (ER 2005), volume 3716 of Lecture Notes in Computer Science, pages 353-368. Springer-Verlag, Berlin, 2005.
 
298
C. Ouyang, E. Verbeek, W.M.P. van der Aalst, S. Breutel, M. Dumas, and A.H.M. ter Hofstede. WofBPEL: A Tool for Automated Analysis of BPEL Processes. In B. Benatallah, F. Casati, and P. Traverso, editors, Proceedings of Service-Oriented Computing (ICSOC 2005), volume 3826 of Lecture Notes in Computer Science, pages 484-489. Springer-Verlag, Berlin, 2005.
 
299
W.M.P. van der Aalst. Business Alignment: Using Process Mining as a Tool for Delta Analysis and Conformance Testing. Requirements Engineering Journal, 10(3):198-211, 2005.
 
300
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.
 
301
J. Recker, M. Rosemann, and W.M.P. van der Aalst. On the User Perception of Configurable Reference Process Models – Initial Insights. In B. Campbell, J. Underwood, and D. Bunker, editors, Proceedings of the 16th Australasian Conference on Information Systems (ACIS'2005), pages 1-10, Sydney, Australia, November 2005. Australasian Chapter of the Association for Information Systems.
 
302
A. Dreiling, M. Rosemann, and W.M.P. van der Aalst. From Conceptual Process Models to Running Workflows: A Holistic Approach for the Configuration of Enterprise Systems. In Pacific Asia Conference on Information Systems (PACIS 2005), pages 363-376, Bangkok, Thailand, 2005. Gesellschaft fuer Informatik.
 
303
A. Dreiling, M. Chiang, M. Rosemann, and W.M.P. van der Aalst. Towards an Understanding of Model-Driven Process Configuration and its Support at Large. In N.C. Romano, editor, Americas Conference on Information Systems (AMCIS 2005), pages 2084-2092, Omaha, Nebraska, 2005. Association for Information Systems.
 
304
J. Mendling, J. Recker, M. Rosemann, and W.M.P. van der Aalst. Towards the Interchange of Configurable EPCs: An XML-based Approach for Reference Model Configuration. In J. Desel and U. Frank, editors, Workshop on Enterprise Modelling and Information Systems Architectures (EMISA 2005), volume 75 of Lecture Notes in Informatics, pages 8-21, Klagenfurt, Austria, October 2005. Gesellschaft fuer Informatik, Bonn.
 
305
F. Gottschalk, M. Rosemann, and W.M.P. van der Aalst. My Own Process: Providing Dedicated Views on EPCs. In M. Nuettgens and F.J. Rump, editors, Proceedings of Fourth Workshop on Event-Driven Process Chains (WI-EPK 2005), pages 156-175, Hamburg, Germany, December 2005. Gesellschaft fuer Informatik, Bonn.
 
306
U. Riss, A. Rickayzen, H. Maus, and W.M.P. van der Aalst. Challenges for Business Process and Task Management. Journal of Universal Knowledge Management, 0(2):77-100, 2005.
 
307
W.M.P. van der Aalst. Measuring Business Alignment with Process Mining. In T. Mahapatra and N. Roy, editors, Business Processes: Mining and Management - An Introduction, ICFAI Books, pages 143-152. ICFAI University Press, 2005.
 
308
A. Rozinat and W.M.P. van der Aalst. Conformance Testing: Measuring the Fit and Appropriateness of Event Logs and Process Models. In C. Bussler et al., editor, BPM 2005 Workshops (Workshop on Business Process Intelligence), volume 3812 of Lecture Notes in Computer Science, pages 163-176. Springer-Verlag, Berlin, 2006.
 
309
A.K.A. de Medeiros, A.J.M.M. Weijters, and W.M.P. van der Aalst. Genetic Process Mining: A Basic Approach and its Challenges. In C. Bussler et al., editor, BPM 2005 Workshops (Workshop on Business Process Intelligence), volume 3812 of Lecture Notes in Computer Science, pages 203-215. Springer-Verlag, Berlin, 2006.
 
310
J. Recker, M. Rosemann, W.M.P. van der Aalst, and J. Mendling. On the Syntax of Reference Model Configuration: Transforming the C-EPC into Lawful EPC Models. In C. Bussler et al., editor, BPM 2005 Workshops (Workshop on Business Process Reference Models), volume 3812 of Lecture Notes in Computer Science, pages 497-511. Springer-Verlag, Berlin, 2006.
 
311
W.M.P. van der Aalst, A. Dreiling, F. Gottschalk, M. Rosemann, and M.H. Jansen-Vullers. Configurable Process Models as a Basis for Reference Modeling. In C. Bussler et al., editor, BPM 2005 Workshops (Workshop on Business Process Reference Models), volume 3812 of Lecture Notes in Computer Science, pages 512-518. Springer-Verlag, Berlin, 2006.
 
312
A. Rozinat and W.M.P. van der Aalst. Decision Mining in Business Processes. BETA Working Paper Series, WP 164, Eindhoven University of Technology, Eindhoven, 2006.
 
313
C.W. Guenther and W.M.P. van der Aalst. Mining Activity Clusters from Low-Level Event Logs. BETA Working Paper Series, WP 165, Eindhoven University of Technology, Eindhoven, 2006.
 
314
A.J.M.M. Weijters, W.M.P. van der Aalst, and A.K. Alves de Medeiros. Process Mining with the Heuristics Miner-algorithm. BETA Working Paper Series, WP 166, Eindhoven University of Technology, Eindhoven, 2006.
 
315
K.B. Lassen and W.M.P. van der Aalst. WorkflowNet2BPEL4WS: A Tool for Translating Unstructured Workflow Processes to Readable BPEL. BETA Working Paper Series, WP 167, Eindhoven University of Technology, Eindhoven, 2006.
 
316
W.M.P. van der Aalst and W. Reisig, editors. Advanced Tutorial on Petri Net Modelling of Business Processes (Satellite Event of ACSD'06 and ICATPN'06), Turku, Finland, June 2006.
 
317
H. Tan and W.M.P. van der Aalst. Implementation of a YAWL Work-List Handler based on the Resource Patterns. In W. Shen, Z. Lin, and J.P. Barthes, editors, Proceedings of the 10th IEEE International Conference on Computer Supported Cooperative Work in Design (CSCWD 2006), pages 1184-1189. IEEE Computer Society Press, 2006.
 
318
M.H. Jansen-Vullers, W.M.P. van der Aalst, and M. Rosemann. Mining Configurable Enterprise Information Systems. Data and Knowledge Engineering, 56(3):195-244, 2006.
 
319
N. Russell, W.M.P. van der Aalst, A.H.M. ter Hofstede, and P. Wohed. On the Suitability of UML Activity Diagrams for Business Process Modelling. In Markus Stumptner, Sven Hartmann, and Yasushi Kiyoki, editors, Proceedings of the Third Asia-Pacific Conference on Conceptual Modelling (APCCM 2006), volume 53 of Conferences in Research and Practice in Information Technology series (CRPIT), pages 95-104, Hobart, Australia, 2006. ACS.
 
320
J. Mendling, J. Recker, M. Rosemann, and W.M.P. van der Aalst. Generating Correct EPCs from Configured C-EPCs. In H. Haddad, editor, Proceedings of the 21th Annual ACM Symposium on Applied Computing (SAC 2006), Track on Organizational Engineering, pages 1505-1510. ACM Press, New York, NY, USA, 2006.
 
321
U. Zdun, C. Hentrich, and W.M.P. van der Aalst. A Survey of Patterns for Service-Oriented Architecutures. International Journal of Internet Protocol Technology, 1(3):132-143, 2006.
 
322
L. Maruster, A.J.M.M. Weijters, W.M.P. van der Aalst, and A. van den Bosch. A Rule-Based Approach for Process Discovery: Dealing with Noise and Imbalance in Process Logs. Data Mining and Knowledge Discovery, 13(1):67-87, 2006.
 
323
W.M.P. van der Aalst, B. van Dongen, J. Mendining, and E. Verbeek. Fouten in SAP Referentiemodel. Automatisering Gids, 40(20):17-17, May 2006.
 
324
W.M.P. van der Aalst. Modellen Zitten Vol Fouten (Interview). Computable, 39(20):28-29, May 2006.
 
325
N. Russell, W.M.P. van der Aalst, and A.H.M. ter Hofstede. Workflow Exception Patterns. In E. Dubois and K. Pohl, editors, Proceedings of the 18th International Conference on Advanced Information Systems Engineering (CAiSE'06), volume 4001 of Lecture Notes in Computer Science, pages 288-302. Springer-Verlag, Berlin, 2006.
 
326
J. Recker, J. Mendling, W.M.P. van der Aalst, and M. Rosemann. Model-Driven Enterprise Systems Configuration. In E. Dubois and K. Pohl, editors, Proceedings of the 18th International Conference on Advanced Information Systems Engineering (CAiSE'06), volume 4001 of Lecture Notes in Computer Science, pages 369-383. Springer-Verlag, Berlin, 2006.
 
327
W.M.P. van der Aalst, C.W. Guenther, J. Recker, and M. Reichert. Using Process Mining to Analyze and Improve Process Flexibility. In T. Latour and M. Petit, editors, Proceedings of the BPMDS Workshop at the 18th International Conference on Advanced Information Systems Engineering (CAiSE'06), pages 168-177. Namur University Press, 2006.
 
328
M. Netjes, H.A. Reijers, and W.M.P. van der Aalst. Supporting the BPM Lifecycle with FileNet. In T. Latour and M. Petit, editors, Proceedings of the EMMSAD Workshop at the 18th International Conference on Advanced Information Systems Engineering (CAiSE'06), pages 497-508. Namur University Press, 2006.
 
329
H.M.W. Verbeek, B.F. van Dongen, J. Mendling, and W.M.P. van der Aalst. Interoperability in the ProM Framework. In T. Latour and M. Petit, editors, Proceedings of the EMOI-INTEROP Workshop at the 18th International Conference on Advanced Information Systems Engineering (CAiSE'06), pages 619-630. Namur University Press, 2006.
 
330
J. Mendling, W. van der Aalst, B. van Dongen, and E. Verbeek. Errors in the SAP Reference Model. BPTrends, 4(6):1-5, June 2006.
 
331
J. Mendling, G. Neumann, W. van der Aalst, B. van Dongen, and E. Verbeek. SAP's Referenzmodell: Sand im Getriebe (in German). Magazin für professionelle Informationstechnik: iX, 13(8):131-133, August 2006.
 
332
C. Guenther and W.M.P. van der Aalst. A Generic Import Framework for Process Event Logs. In J. Eder and S. Dustdar, editors, Business Process Management Workshops, Workshop on Business Process Intelligence (BPI 2006), volume 4103 of Lecture Notes in Computer Science, pages 81-92. Springer-Verlag, Berlin, 2006.
 
333
M. Pesic and W.M.P. van der Aalst. A Declarative Approach for Flexible Business Processes. In J. Eder and S. Dustdar, editors, Business Process Management Workshops, Workshop on Dynamic Process Management (DPM 2006), volume 4103 of Lecture Notes in Computer Science, pages 169-180. Springer-Verlag, Berlin, 2006.
 
334
J. Mendling, M. Moser, G. Neumann, H.M.W. Verbeek, B.F. van Dongen, and W.M.P. van der Aalst. Faulty EPCs in the SAP Reference Model. In S. Dustdar, J.L. Faideiro, and A. Sheth, editors, International Conference on Business Process Management (BPM 2006), volume 4102 of Lecture Notes in Computer Science, pages 451-457. Springer-Verlag, Berlin, 2006.
 
335
A. Rozinat and W.M.P. van der Aalst. Decision Mining in ProM. In S. Dustdar, J.L. Faideiro, and A. Sheth, editors, International Conference on Business Process Management (BPM 2006), volume 4102 of Lecture Notes in Computer Science, pages 420-425. Springer-Verlag, Berlin, 2006.
 
336
M.T. Wynn, W.M.P. van der Aalst, A.H.M. ter Hofstede, and D. Edmond. Verifying Workflows with Cancellation Regions and OR-joins: An Approach Based on Reset Nets and Reachability Analysis. In S. Dustdar, J.L. Faideiro, and A. Sheth, editors, International Conference on Business Process Management (BPM 2006), volume 4102 of Lecture Notes in Computer Science, pages 389-394. Springer-Verlag, Berlin, 2006.
 
337
P. Wohed, W.M.P. van der Aalst, M. Dumas, A.H.M. ter Hofstede, and N. Russell. On the Suitability of BPMN for Business Process Modelling. In S. Dustdar, J.L. Faideiro, and A. Sheth, editors, International Conference on Business Process Management (BPM 2006), volume 4102 of Lecture Notes in Computer Science, pages 161-176. Springer-Verlag, Berlin, 2006.
 
338
W.M.P. van der Aalst, A.K. Alves de Medeiros, and A.J.M.M. Weijters. Process Equivalence: Comparing Two Process Models Based on Observed Behavior. In S. Dustdar, J.L. Faideiro, and A. Sheth, editors, International Conference on Business Process Management (BPM 2006), volume 4102 of Lecture Notes in Computer Science, pages 129-144. Springer-Verlag, Berlin, 2006.
 
339
W.M.P. van der Aalst and M. Pesic. DecSerFlow: Towards a Truly Declarative Service Flow Language. In M. Bravetti, M. Nunez, and G. Zavattaro, editors, International Conference on Web Services and Formal Methods (WS-FM 2006), volume 4184 of Lecture Notes in Computer Science, pages 1-23. Springer-Verlag, Berlin, 2006.
 
340
W.M.P. van der Aalst. Process Mining and Monitoring Processes and Services: Workshop Report. In F. Leymann, W. Reisig, S.R. Thatte, and W.M.P. van der Aalst, editors, The Role of Business Processes in Service Oriented Architectures, number 6291 in Dagstuhl Seminar Proceedings. Internationales Begegnungs- und Forschungszentrum fuer Informatik (IBFI), Schloss Dagstuhl, Germany, July 2006.
 
341
W.M.P. van der Aalst, M. Dumas, C. Ouyang, A. Rozinat, and H.M.W. Verbeek. Choreography Mining and Conformance Checking. In F. Leymann, W. Reisig, S.R. Thatte, and W.M.P. van der Aalst, editors, The Role of Business Processes in Service Oriented Architectures, number 6291 in Dagstuhl Seminar Proceedings. Internationales Begegnungs- und Forschungszentrum fuer Informatik (IBFI), Schloss Dagstuhl, Germany, July 2006.
 
342
M. Pesic and W.M.P. van der Aalst. DecSerFlow: Towards a Truly Declarative Service Flow Language. In F. Leymann, W. Reisig, S.R. Thatte, and W.M.P. van der Aalst, editors, The Role of Business Processes in Service Oriented Architectures, number 6291 in Dagstuhl Seminar Proceedings. Internationales Begegnungs- und Forschungszentrum fuer Informatik (IBFI), Schloss Dagstuhl, Germany, July 2006.
 
343
F. Gottschalk, W.M.P. van der Aalst, and H.M. Jansen-Vullers. Configurable Process Models: A Foundational Approach. In F. Lehner, H. Nosekabel, and P. Kleinschmidt, editors, Proceedings of the Multikonferenz Wirtschaftsinformatik 2006 (MKWI '06). GITO-Verlag, Berlin, 2006.
 
344
J. Recker, M. Rosemann, W.M.P. van der Aalst, M.H. Jansen-Vullers, and A. Dreiling. Configurable Reference Modeling Languages. In P. Fettke and P. Loos, editors, Reference Modeling for Business Systems Analysis, pages 22-46. Idea Group Inc., Hershey, PA, USA, 2006.
 
345
C. Ouyang, W.M.P. van der Aalst, M. Dumas, and A.H.M. ter Hofstede. From BPMN Process Models to BPEL Web Services. In Proceedings of the 4th International Conference on Web Services (ICWS), Chicago IL, USA, pages 285-292. IEEE Computer Society, September 2006.
 
346
J.B. Jřrgensen, K.B. Lassen, and W.M.P. van der Aalst. From Task Descriptions via Coloured Petri Nets Towards an Implementation of a New Electronic Patient Record. In K. Jensen, editor, Proceedings of the Seventh Workshop on the Practical Use of Coloured Petri Nets and CPN Tools (CPN 2006), volume 579 of DAIMI, pages 17-36, Aarhus, Denmark, October 2006. University of Aarhus.
 
347
A. Rozinat, R.S. Mans, and W.M.P. van der Aalst. Mining CPN Models: Discovering Process Models with Data from Event Logs. In K. Jensen, editor, Proceedings of the Seventh Workshop on the Practical Use of Coloured Petri Nets and CPN Tools (CPN 2006), volume 579 of DAIMI, pages 57-76, Aarhus, Denmark, October 2006. University of Aarhus.
 
348
F. Gottschalk, W.M.P. van der Aalst, M.H. Jansen-Vullers, and H.M.W. Verbeek. Protos2CPN: Using Colored Petri Nets for Configuring and Testing Business Processes. In K. Jensen, editor, Proceedings of the Seventh Workshop on the Practical Use of Coloured Petri Nets and CPN Tools (CPN 2006), volume 579 of DAIMI, pages 137-156, Aarhus, Denmark, October 2006. University of Aarhus.
 
349
K.B. Lassen and W.M.P. van der Aalst. WorkflowNet2BPEL4WS: A Tool for Translating Unstructured Workflow Processes to Readable BPEL. In R. Meersman and Z. Tari et al., editors, On the Move to Meaningful Internet Systems 2006, OTM Confederated International Conferences, 14th International Conference on Cooperative Information Systems (CoopIS 2006), volume 4275 of Lecture Notes in Computer Science, pages 127-144. Springer-Verlag, Berlin, 2006.
 
350
M. Adams, A.H.M. ter Hofstede, D. Edmond, and W.M.P. van der Aalst. Worklets: A Service-Oriented Implementation of Dynamic Flexibility in Workflows. In R. Meersman and Z. Tari et al., editors, On the Move to Meaningful Internet Systems 2006, OTM Confederated International Conferences, 14th International Conference on Cooperative Information Systems (CoopIS 2006), volume 4275 of Lecture Notes in Computer Science, pages 291-308. Springer-Verlag, Berlin, 2006.
 
351
C.W. Günther, S. Rinderle, M. Reichert, and W.M.P. van der Aalst. Change Mining in Adaptive Process Management Systems. In R. Meersman and Z. Tari et al., editors, On the Move to Meaningful Internet Systems 2006, OTM Confederated International Conferences, 14th International Conference on Cooperative Information Systems (CoopIS 2006), volume 4275 of Lecture Notes in Computer Science, pages 309-326. Springer-Verlag, Berlin, 2006.
 
352
M. Rouached, W. Gaaloul, W.M.P. van der Aalst, S. Bhiri, and C. Godart. Web Service Mining and Verification of Properties: An approach based on Event Calculus. In R. Meersman and Z. Tari et al., editors, On the Move to Meaningful Internet Systems 2006, OTM Confederated International Conferences, 14th International Conference on Cooperative Information Systems (CoopIS 2006), volume 4275 of Lecture Notes in Computer Science, pages 408-425. Springer-Verlag, Berlin, 2006 (withdrawn due to plagiarism of first author).
 
353
W.M.P. van der Aalst. Matching Observed Behavior and Modeled Behavior: An Approach Based on Petri nets and Integer Programming. Decision Support Systems, 42(3):1843-1859, 2006.
 
354
J. Mendling and W.M.P. van der Aalst. Towards EPC Semantics based on State and Context. In M. Nuettgens, F.J. Rump, and J. Mendling, editors, Proceedings of Fifth Workshop on Event-Driven Process Chains (WI-EPK 2006), pages 25-48, Vienna, December 2006. Gesellschaft fuer Informatik, Bonn.
 
355
P. Barborka, L. Helm, G. Koldorfer, J. Mendling, G. Neumann, E. Verbeek B.F. van Dongen, and W.M.P. van der Aalst. Integration of EPC-related Tools with ProM. In M. Nuettgens, F.J. Rump, and J. Mendling, editors, Proceedings of Fifth Workshop on Event-Driven Process Chains (WI-EPK 2006), pages 105-120, Vienna, December 2006. Gesellschaft fuer Informatik, Bonn.
 
356
A. Dreiling, M. Rosemann, W.M.P. van der Aalst, L. Heuser, and K. Schulz. Model-Based Software Configuration: Patterns and Languages. European Journal of Information Systems, 15(6):583-600, 2006.
 
357
E. Liu, A. Kumar, and W.M.P. van der Aalst. Managing Supply Chain Events to Build Sense-and-Response Capability. In D. Straub and S. Klein, editors, Proceedings of International Conference on Information Systems (ICIS 2006), Milwaukee, Wisconsin, December 2006.
 
358
C.W. Günther and W.M.P. van der Aalst. Process Mining in Case Handling Systems. In F. Lehner, H. Nosekabel, and P. Kleinschmidt, editors, Proceedings of the Multikonferenz Wirtschaftsinformatik 2006 (MKWI '06). GITO-Verlag, Berlin, 2006.
 
359
W.M.P. van der Aalst, V. Rubin, B.F. van Dongen, E. Kindler, and C.W. Günther. Process Mining: A Two-Step Approach using Transition Systems and Regions. BPM Center Report BPM-06-30, BPMcenter.org, 2006.
 
360
B.F. van Dongen, J. Mendling, and W.M.P. van der Aalst. Structural Patterns for Soundness of Business Process Models. In Proceedings of the Tenth IEEE International Enterprise Distributed Object Computing Conference (EDOC 2006), pages 116-128. IEEE Computer Society, 2006.
 
361
M. Rosemann and W.M.P. van der Aalst. A Configurable Reference Modelling Language. Information Systems, 32(1):1-23, 2007.
 
362
W.M.P. van der Aalst, M. Rosemann, and M. Dumas. Deadline-based Escalation in Process-Aware Information Systems. Decision Support Systems, 43(2):492-511, 2007.
 
363
W.M.P. van der Aalst. Process Mining: Business Intelligence Software Wordt Eindelijk Intelligent. Business Process Magazine, 13(2):28-31, 2007.
 
364
I. Vanderfeesten, J. Cardoso, J. Mendling, H.A. Reijers, and W.M.P. van der Aalst. Quality Metrics for Business Process Models. In L. Fischer, editor, BPM and Workflow Handbook 2007, pages 179-190. Future Strategies Inc., Lighthouse Point, Florida, USA, 2007.
 
365
H.M.W. Verbeek, W.M.P. van der Aalst, and A.H.M. ter Hofstede. Verifying Workflows with Cancellation Regions and OR-joins: An Approach Based on Relaxed Soundness and Invariants. Computer Journal, 50(3):294-314, 2007.
 
366
K. Bisgaard Lassen, B.F. van Dongen, and W.M.P. van der Aalst. Translating Message Sequence Charts to other Process Languages using Process Mining. BETA Working Paper Series, WP 207, Eindhoven University of Technology, Eindhoven, 2007.
 
367
S. Rinderle-Ma and W.M.P. van der Aalst. Life-Cycle Support for Staff Assignment Rules in Process-Aware Information Systems. BETA Working Paper Series, WP 213, Eindhoven University of Technology, Eindhoven, 2007.
 
368
W. van der Aalst. BPM and Workflow Analysis. BPTrends, 5(4):1-2, April 2007.
 
369
E. Liu, A. Kumar, and W.M.P. van der Aalst. A Formal Modeling Approach for Supply Chain Event Management. Decision Support Systems, 43(3):761-778, 2007.
 
370
W.M.P. van der Aalst, B. Benatallah, F. Casati, F. Curbera, and H.M.W. Verbeek, editors. Advances in Business Process Management, Special Issue of Data and Knowledge Engineering, Volume 61, Issue 1. Elsevier Science Publishers, Amsterdam, 2006.
 
371
W.M.P. van der Aalst, B. Benatallah, F. Casati, F. Curbera, and H.M.W. Verbeek. Business Process Management: Where Business Processes and Web Services Meet. Data and Knowledge Engineering, 61(1):1-5, 2007.
 
372
C. Ouyang, W.M.P. van der Aalst, M. Dumas, A.H.M. ter Hofstede, and M. La Rosa. Service-Oriented Processes: An Introduction to BPEL. In J. Cardoso, editor, Chapter 8: Semantic Web Services: Theory, Tools and Applications, pages 155-188. IGI Publishing, Hershey, PA, USA, 2007.
 
373
W.M.P. van der Aalst, H.A. Reijers, A.J.M.M. Weijters, B.F. van Dongen, A.K. Alves de Medeiros, M. Song, and H.M.W. Verbeek. Business Process Mining: An Industrial Application. Information Systems, 32(5):713-732, 2007.
 
374
A. Rozinat, I.S.M. de Jong, C.W. Günther, and W.M.P. van der Aalst. Process Mining of Test Processes: A Case Study. BETA Working Paper Series, WP 220, Eindhoven University of Technology, Eindhoven, 2007.
 
375
A. Rozinat, R.S. Mans, M. Song, and W.M.P. van der Aalst. Discovering Simulation Models. BETA Working Paper Series, WP 223, Eindhoven University of Technology, Eindhoven, 2007.
 
376
W.M.P. van der Aalst, B.F. van Dongen, C.W. Günther, R.S. Mans, A.K. Alves de Medeiros, A. Rozinat, V. Rubin, M. Song, H.M.W. Verbeek, and A.J.M.M. Weijters. ProM 4.0: Comprehensive Support for Real Process Analysis. In J. Kleijn and A. Yakovlev, editors, Application and Theory of Petri Nets and Other Models of Concurrency (ICATPN 2007), volume 4546 of Lecture Notes in Computer Science, pages 484-494. Springer-Verlag, Berlin, 2007.
 
377
K.M. van Hee, A. Serebrenik, N. Sidorova, and W.M.P. van der Aalst. History-Dependent Petri Nets. In J. Kleijn and A. Yakovlev, editors, Application and Theory of Petri Nets and Other Models of Concurrency (ICATPN 2007), volume 4546 of Lecture Notes in Computer Science, pages 164-183. Springer-Verlag, Berlin, 2007.
 
378
B.F. van Dongen, N. Busi, G.M. Pinna, and W.M.P. van der Aalst. An Iterative Algorithm for Applying the Theory of Regions in Process Mining. In W. Reisig, K. van Hee, and K. Wolf, editors, Proceedings of the Workshop on Formal Approaches to Business Processes and Web Services (FABPWS'07), pages 36-55. Publishing House of University of Podlasie, Siedlce, Poland, 2007.
 
379
K.B. Lassen, B.F. van Dongen, and W.M.P. van der Aalst. Translating Message Sequence Charts to Other Process Languages Using Process Mining. In D. Moldt, F. Kordon, K. van Hee, J.M. Colom, and R. Bastide, editors, Proceedings of the Workshop on Petri Nets and Software Engineering (PNSE'07), pages 82-97. Publishing House of University of Podlasie, Siedlce, Poland, 2007.
 
380
H.M.W. Verbeek, A.J. Pretorius, W.M.P. van der Aalst, and J.J. van Wijk. On Petri-Net Synthesis and Attribute-Based Visualization. In D. Moldt, F. Kordon, K. van Hee, J.M. Colom, and R. Bastide, editors, Proceedings of the Workshop on Petri Nets and Software Engineering (PNSE'07), pages 127-142. Publishing House of University of Podlasie, Siedlce, Poland, 2007.
 
381
W.M.P. van der Aalst, M. Netjes, and H.A. Reijers. Chapter 4: Supporting the Full BPM Life-Cycle Using Process Mining and Intelligent Redesign. In K. Siau, editor, Contemporary Issues in Database Design and Information Systems Development, pages 100-132. IGI Global, Hershey, USA, 2007.
 
382
J. Mendling and W.M.P. van der Aalst. Formalization and Verification of EPCs with OR-Joins Based on State and Context. In J. Krogstie, A. Opdahl, and G. Sindre, editors, Proceedings of the 19th International Conference on Advanced Information Systems Engineering (CAiSE'07), volume 4495 of Lecture Notes in Computer Science, pages 439-453. Springer-Verlag, Berlin, 2007.
 
383
L. Aldred, W.M.P. van der Aalst, M. Dumas, and A.H.M. ter Hofstede. Communication Abstractions for Distributed Business Processes. In J. Krogstie, A. Opdahl, and G. Sindre, editors, Proceedings of the 19th International Conference on Advanced Information Systems Engineering (CAiSE'07), volume 4495 of Lecture Notes in Computer Science, pages 409-423. Springer-Verlag, Berlin, 2007.
 
384
M. Pesic and W.M.P. van der Aalst. Modeling Work Distribution Mechanisms using Colored Petri Nets. International Journal on Software Tools for Technology Transfer, 9(3-4):327-352, 2007.
 
385
W.M.P. van der Aalst. Trends in Business Process Analysis: From Verification to Process Mining. In J. Cardoso, J. Cordeiro, and J. Filipe, editors, Proceedings of the 9th International Conference on Enterprise Information Systems (ICEIS 2007), pages 12-22. Institute for Systems and Technologies of Information, Control and Communication, INSTICC, Medeira, Portugal, 2007.
 
386
I. Vanderfeesten, H.A. Reijers, and W.M.P. van der Aalst. An Evaluation of Case Handling Systems for Product Based Workflow Design. In J. Cardoso, J. Cordeiro, and J. Filipe, editors, Proceedings of the 9th International Conference on Enterprise Information Systems (ICEIS 2007), Volume on Information Systems Analysis and Specification, pages 39-46. Institute for Systems and Technologies of Information, Control and Communication, INSTICC, Medeira, Portugal, 2007.
 
387
M. Netjes, S. Limam Mansar, H.A. Reijers, and W.M.P. van der Aalst. An Evolutionary Approach for Business Process Redesign. In J. Cardoso, J. Cordeiro, and J. Filipe, editors, Proceedings of the 9th International Conference on Enterprise Information Systems (ICEIS 2007), Volume on Information Systems Analysis and Specification, pages 47-54. Institute for Systems and Technologies of Information, Control and Communication, INSTICC, Medeira, Portugal, 2007.
 
388
W.M.P. van der Aalst and C.W. Günther. Finding Structure in Unstructured Processes: The Case for Process Mining. In T. Basten, G. Juhas, and S. Shukla, editors, Proceedings the 7th International Conference on Applications of Concurrency to System Design (ACSD 2007), pages 3-12, Bratislava, Slovak Republic, 2007. IEEE Computer Society Press, Los Alamitos, California.
 
389
C. Bratosin and W.M.P. van der Aalst. Workflow Management Systems for Grid Computing. ERCIM News, 70:17-18, 2007.
 
390
W.M.P. van der Aalst. Exploring the CSCW Spectrum Using Process Mining. International Journal of Advanced Engineering Informatics, 21(2):191-199, 2007.
 
391
W.M.P. van der Aalst and M. Pesic. Chapter 2: Specifying and Monitoring Service Flows: Making Web Services Process-Aware. In L. Baresi and E. Di Nitto, editors, Test and Analysis of Web Services, pages 11-56. Springer-Verlag, Berlin, 2007.
 
392
B.F. van Dongen, M.H. Jansen-Vullers, H.M.W. Verbeek, and W.M.P. van der Aalst. Verification of the SAP Reference Models Using EPC Reduction, State-space Analysis, and Invariants. Computers in Industry, 58(6):578-601, 2007.
 
393
F. Gottschalk, W.M.P. van der Aalst, and H.M. Jansen-Vullers. Configurable Process Models: A Foundational Approach. In J. Becker and P. Delfmann, editors, Reference Modeling: Efficient Information Systems Design Through Reuse of Information Models, pages 59-78. Physica-Verlag, Springer, Heidelberg, Germany, 2007.
 
394
L. Wen, W.M.P. van der Aalst, J. Wang, and J. Sun. Mining process models with non-free-choice constructs. Data Mining and Knowledge Discovery, 15(2):145-180, 2007.
 
395
E. Bacarin, W.M.P. van der Aalst, E. Madeira, and C.B. Medeiros. Towards Modeling and Simulating a Multi-party Negotiation Protocol with Colored Petri Nets. In K. Jensen, editor, Proceedings of the Eighth Workshop on the Practical Use of Coloured Petri Nets and CPN Tools (CPN 2007), volume 584 of DAIMI, pages 29-48, Aarhus, Denmark, October 2007. University of Aarhus.
 
396
C. Bratosin, W.M.P. van der Aalst, and N. Sidorova. Modeling Grid Workflows with Colored Petri Nets. In K. Jensen, editor, Proceedings of the Eighth Workshop on the Practical Use of Coloured Petri Nets and CPN Tools (CPN 2007), volume 584 of DAIMI, pages 67-86, Aarhus, Denmark, October 2007. University of Aarhus.
 
397
N. Russell, A.H.M. ter Hofstede, and W.M.P. van der Aalst. newYAWL: Specifying a Workflow Reference Language using Coloured Petri Nets. In K. Jensen, editor, Proceedings of the Eighth Workshop on the Practical Use of Coloured Petri Nets and CPN Tools (CPN 2007), volume 584 of DAIMI, pages 107-126, Aarhus, Denmark, October 2007. University of Aarhus.
 
398
R.S. Mans, W.M.P. van der Aalst, P.J.M. Bakker, A.J. Moleman, K.B. Lassen, and J.B. Jørgensen. From Requirements via Colored Workflow Nets to an Implementation in Several Workflow Systems. In K. Jensen, editor, Proceedings of the Eighth Workshop on the Practical Use of Coloured Petri Nets and CPN Tools (CPN 2007), volume 584 of DAIMI, pages 187-206, Aarhus, Denmark, October 2007. University of Aarhus.
 
399
F. Gottschalk, W.M.P. van der Aalst, and M.H. Jansen-Vullers. SAP WebFlow Made Configurable: Unifying Workflow Templates into a Configurable Model. In G. Alonso, P. Dadam, and M. Rosemann, editors, International Conference on Business Process Management (BPM 2007), volume 4714 of Lecture Notes in Computer Science, pages 262-270. Springer-Verlag, Berlin, 2007.
 
400
C.W. Günther and W.M.P. van der Aalst. Fuzzy Mining: Adaptive Process Simplification Based on Multi-perspective Metrics. In G. Alonso, P. Dadam, and M. Rosemann, editors, International Conference on Business Process Management (BPM 2007), volume 4714 of Lecture Notes in Computer Science, pages 328-343. Springer-Verlag, Berlin, 2007.
 
401
V. Rubin, C.W. Günther, W.M.P. van der Aalst, E. Kindler, B.F. van Dongen, and W. Schäfer. Process Mining Framework for Software Processes. In Q. Wang, D. Pfahl, and D.M. Raffo, editors, International Conference on Software Process, Software Process Dynamics and Agility (ICSP 2007), volume 4470 of Lecture Notes in Computer Science, pages 169-181. Springer-Verlag, Berlin, 2007.
 
402
J. Chen and W.M.P. van der Aalst. On Scientific Workflow. TCSC Newsletter, IEEE Technical Committee on Scalable Computing, 9(1), 2007.
 
403
K. Rouibah, S. Rouibah, and W.M.P. van der Aalst. Combining Workflow and PDM Based on the Workflow Management Coalition and STEP standards: The Case of Axalant. International Journal of Computer Integrated Manufacturing, 20(8):811-827, 2007.
 
404
W.M.P. van der Aalst. Workflow Patronen: Gereedschap voor het Evalueren van BPM Software. Business Process Magazine, 13(4):22-27, 2007.
 
405
W.M.P. van der Aalst, F. Leymann, and W. Reisig. The Role of Business Processes in Service Oriented Architectures (Editorial). International Journal of Business Process Integration and Management, 2(2):75-80, 2007.
 
406
W.M.P. van der Aalst, M. Beisiegel, K.M. van Hee, D. König, and C. Stahl. An SOA-Based Architecture Framework. International Journal of Business Process Integration and Management, 2(2):91-101, 2007.
 
407
W.M.P. van der Aalst, F. Leymann, and W. Reisig, editors. The Role of Business Processes in Service Oriented Architectures, Special Issue of the International Journal of Business Process Integration and Management, Volume 2, Number 2. Inderscience Publishers, 2007.
 
408
G. Leonardi, S. Panzarasa, S. Quaglini, M. Stefanelli, and W.M.P. van der Aalst. Interacting Agents through a Web-based Health Serviceflow Management System. Journal of Biomedical Informatics, 40(5):486-499, 2007.
 
409
N. Mulyar, M. Pesic, W.M.P. van der Aalst, and M. Peleg. Declarative and Procedural Approaches for Modelling Clinical Guidelines: Addressing Flexibility Issues. In M. Reichert, R. Lenz, and M. Peleg, editors, Informal Proceedings of the International Workshop on Process-Oriented Information Systems in Healthcare (ProHealth 2007), pages 17-28. QUT, Brisbane, Australia, 2007.
 
410
A.K. Alves de Medeiros, A. Guzzo, G. Greco, W.M.P. van der Aalst, A.J.M.M. Weijters, B. van Dongen, and D. Sacca. Process Mining Based on Clustering: A Quest for Precision. In M. Castellanos, J. Mendling, and B. Weber, editors, Informal Proceedings of the International Workshop on Business Process Intelligence (BPI 2007), pages 7-18. QUT, Brisbane, Australia, 2007.
 
411
M.T. Wynn, M. Dumas, C.J. Fidge, A.H.M. ter Hofstede, and W.M.P. van der Aalst. Business Process Simulation for Operational Decision Support. In M. Castellanos, J. Mendling, and B. Weber, editors, Informal Proceedings of the International Workshop on Business Process Intelligence (BPI 2007), pages 55-66. QUT, Brisbane, Australia, 2007.
 
412
A. Rozinat, A.K. Alves 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 M. Castellanos, J. Mendling, and B. Weber, editors, Informal Proceedings of the International Workshop on Business Process Intelligence (BPI 2007), pages 73-78. QUT, Brisbane, Australia, 2007.
 
413
M. La Rosa, F. Gottschalk, M. Dumas, and W.M.P. van der Aalst. Linking Domain Models and Process Models for Reference Model Configuration. In J. Becker and P. Delfmann, editors, Informal Proceedings of the 10th International Workshop on Reference Modeling (RefMod 2007), pages 13-24. QUT, Brisbane, Australia, 2007.
 
414
W.M.P. van der Aalst, N. Lohmann, P. Massuthe, C. Stahl, and K. Wolf. From Public Views to Private Views: Correctness-by-Design for Services. In M. Dumas and H. Heckel, editors, Informal Proceedings the 4th International Workshop on Web Services and Formal Methods (WS-FM 2007), pages 119-134. QUT, Brisbane, Australia, 2007.
 
415
A.K. Alves de Medeiros, A.J.M.M. Weijters, and W.M.P. van der Aalst. Genetic Process Mining: An Experimental Evaluation. Data Mining and Knowledge Discovery, 14(2):245-304, 2007.
 
416
B. Weber, B.F. van Dongen, M. Pesic, C.W. Günther, and W.M.P. van der Aalst. Supporting Flexible Processes Through Recommendations Based on History. BETA Working Paper Series, WP 212, Eindhoven University of Technology, Eindhoven, 2007. 
 
417
L.J. Zhang, W.M.P. van der Aalst, and P. Hung, editors. IEEE International Conference on Services Computing (SCC 2007). IEEE Computer Society, 2007.
 
418
J. Mendling, B.F. van Dongen, and W.M.P. van der Aalst. Getting Rid of the OR-Join in Business Process Models. In M. Spies and M.B. Blake, editors, Proceedings of the Eleventh IEEE International Enterprise Distributed Object Computing Conference (EDOC 2007), pages 3-14. IEEE Computer Society, 2007.
 
419
M. Pesic, H. Schonenberg, and W.M.P. van der Aalst. DECLARE: Full Support for Loosely-Structured Processes. In M. Spies and M.B. Blake, editors, Proceedings of the Eleventh IEEE International Enterprise Distributed Object Computing Conference (EDOC 2007), pages 287-298. IEEE Computer Society, 2007.
 
420
M. Pesic, M. H. Schonenberg, N. Sidorova, and W.M.P. van der Aalst. Constraint-Based Workflow Models: Change Made Easy. In F. Curbera, F. Leymann, and M. Weske, editors, Proceedings of the OTM Conference on Cooperative information Systems (CoopIS 2007), volume 4803 of Lecture Notes in Computer Science, pages 77-94. Springer-Verlag, Berlin, 2007.
 
421
M. Adams, A.H.M. ter Hofstede, W.M.P. van der Aalst, and D. Edmond. Dynamic, Extensible and Context-Aware Exception Handling for Workflows. In F. Curbera, F. Leymann, and M. Weske, editors, Proceedings of the OTM Conference on Cooperative information Systems (CoopIS 2007), volume 4803 of Lecture Notes in Computer Science, pages 95-112. Springer-Verlag, Berlin, 2007.
 
422
J. Mendling, G. Neumann, and W.M.P. van der Aalst. Understanding the Occurrence of Errors in Process Models Based on Metrics. In F. Curbera, F. Leymann, and M. Weske, editors, Proceedings of the OTM Conference on Cooperative information Systems (CoopIS 2007), volume 4803 of Lecture Notes in Computer Science, pages 113-130. Springer-Verlag, Berlin, 2007.
 
423
N. Mulyar, L. Aldred, and W.M.P. van der Aalst. The Conceptualization of a Configurable Multi-party Multi-message Request-Reply Conversation. In P. Felber, C. Pu, and A. van Moorsel, editors, Proceedings of the OTM Conference on Distributed Objects and Applications (DOA 2007), volume 4803 of Lecture Notes in Computer Science, pages 735-753. Springer-Verlag, Berlin, 2007.
 
424
A.K. Alves de Medeiros, C. Pedrinaci, W.M.P. van der Aalst, J. Domingue, M. Song, A. Rozinat, B. Norton, and L. Cabral. An Outlook on Semantic Business Process Mining and Monitoring. In R. Meersman, Z. Tari, and P. Herrero, editors, Proceedings of the OTM Workshop on Semantic Web and Web Semantics (SWWS '07), volume 4806 of Lecture Notes in Computer Science, pages 1244-1255. Springer-Verlag, Berlin, 2007.
 
425
J. Mendling, G. Neumann, and W.M.P. van der Aalst. On the Correlation between Process Model Metrics and Errors. In J. Grundy, S. Hartmann, A.H.F. Laender, L. Maciaszek, and J.F. Roddick, editors, Proceedings of the Twenty-Sixth International Conference on Conceptual Modeling - ER 2007 - Tutorials, Posters, Panels and Industrial Contributions, volume 83 of Conferences in Research and Practice in Information Technology series (CRPIT), pages 173-178, Auckland, New Zealand, 2007. Australian Computer Society.
 
426
A.J.M.M. Weijters, W.M.P. van der Aalst, B. van Dongen, C. Günther, R. Mans, A.K. Alves de Medeiros, A. Rozinat, M. Song, and E. Verbeek. Process Mining with ProM. In M. Dastani and E. de Jong, editors, Proceedings of the 19th Belgium-Netherlands Conference on Artificial Intelligence (BNAIC 2007), 2007.
 
427
C. Ouyang, M. Dumas, A.H.M. ter Hofstede, and W.M.P. van der Aalst. Pattern-Based Translation of BPMN Process Models to BPEL Web Services. International Journal of Web Services Research, 5(1):42-62, 2007.
 
428
N. Mulyar, W.M.P. van der Aalst, and M. Peleg. A Pattern-based Analysis of Clinical Computer-Interpretable Guideline Modeling Languages. Journal of the American Medical Informatics Association, 14(6):781-787, 2007.
 
429
N. Russell, W.M.P. van der Aalst, and A.H.M. ter Hofstede. All That Glitters Is Not Gold: Selecting the Right Tool for Your BPM Needs. Cutter IT Journal, 20(11):31-38, 2007.
 
430
J. Mendling, B.F. van Dongen, and W.M.P. van der Aalst. On the Degree of Behavioral Similarity between Business Process Models. In M. Nuettgens, F.J. Rump, and A. Gadatsch, editors, Proceedings of Sixth Workshop on Event-Driven Process Chains (WI-EPK 2007), pages 39-58, St. Augustin, November 2007. Gesellschaft fuer Informatik, Bonn.
 
431
N. Russell, W.M.P. van der Aalst, and A.H.M. ter Hofstede. Chapter 4: All That Glitters Is Not Gold - Selecting the Right Tool for Your BPM Needs. In Innovations in Business Process Thinking, pages 143-156. Cutter Information LLC, Arlington, MA, USA, 2007.
 
432
O. Brousseau, B. Dooley, M. Fung-A-Fat, M. Guttman, M. Hartges, B. Kiepuszewski, D. Krafzig, M. Kunz, K Orr F. Moesch, J Parodi, N Russell, T Stahl D Slama, B Stokalski, M Strozanski, K Swenson, A.H.M. ter Hofstede, and W.M.P. van der Aalst. Innovations in Business Process Thinking. Cutter Information LLC, Arlington, MA, USA, 2007.
 
433
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 Information Technologies and Systems (WITS 2007), pages 139-145, Montreal, Canada, December 2007.
 
434
C. Ouyang, W.M.P. van der Aalst, S. Breutel, M. Dumas, A.H.M. ter Hofstede, and H.M.W. Verbeek. Formal Semantics and Analysis of Control Flow in WS-BPEL. Science of Computer Programming, 67(2-3):162-198, 2007.
 
435
W.M.P. van der Aalst and K.B. Lassen. Translating Unstructured Workflow Processes to Readable BPEL: Theory and Implementation. Information and Software Technology, 50(3):131-159, 2008.
 
436
A. Rozinat and W.M.P. van der Aalst. Conformance Checking of Processes Based on Monitoring Real Behavior. Information Systems, 33(1):64-95, 2008.
 
437
N. Russell and W.M.P. van der Aalst. Workflow Resource Patterns as a Tool to Support OASIS BPEL4People Standardization Efforts. BPTrends, 6(3):1-26, March 2008.
 
438
C.W. Günther, S. Rinderle, M. Reichert, W.M.P. van der Aalst, and J. Recker. Using Process Mining to Learn from Process Changes in Evolutionary Systems. International Journal of Business Process Integration and Management, 3(1):61-79, 2008.
 
439
W.M.P. van der Aalst. Chapter 29: Decision Support Based on Process Mining. In F. Burstein and C.W. Holsapple, editors, Handbook on Decision Support Systems (Part 1: Basic Themes), International Handbooks on Information Systems, pages 637-657. Springer-Verlag, Berlin, 2008.
 
440
J. Mendling, H.M.W. Verbeek, B.F. van Dongen, W.M.P. van der Aalst, and G. Neumann. Detection and Prediction of Errors in EPCs of the SAP Reference Model. Data and Knowledge Engineering, 64(1):312-329, 2008.
 
441
N. Mulyar, M. Pesic, W.M.P. van der Aalst, and M. Peleg. Declarative and Procedural Approaches for Modelling Clinical Guidelines: Addressing Flexibility Issues. 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 Computer Science, pages 335-364. Springer-Verlag, Berlin, 2008.
 
442
A.K. Alves de Medeiros, A. Guzzo, G. Greco, W.M.P. van der Aalst, A.J.M.M. Weijters, B. van Dongen, and D. Sacca. Process Mining Based on Clustering: A Quest for Precision. 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 Computer Science, pages 17-29. Springer-Verlag, Berlin, 2008.
 
443
M.T. Wynn, M. Dumas, C.J. Fidge, A.H.M. ter Hofstede, and W.M.P. van der Aalst. Business Process Simulation for Operational Decision Support. 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 Computer Science, pages 66-77. Springer-Verlag, Berlin, 2008.
 
444
A. Rozinat, A.K. Alves 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 Computer Science, pages 84-89. Springer-Verlag, Berlin, 2008.
 
445
M. La Rosa, F. Gottschalk, M. Dumas, and W.M.P. van der Aalst. Linking Domain Models and Process Models for Reference Model Configuration. 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 Computer Science, pages 417-430. Springer-Verlag, Berlin, 2008.
 
446
W.M.P. van der Aalst, N. Lohmann, P. Massuthe, C. Stahl, and K. Wolf. From Public Views to Private Views: Correctness-by-Design for Services. In M. Dumas and H. Heckel, editors, Proceedings of the 4th International Workshop on Web Services and Formal Methods (WS-FM 2007), volume 4937 of Lecture Notes in Computer Science, pages 139-153. Springer-Verlag, Berlin, 2008.
 
447
F. Gottschalk, W.M.P. van der Aalst, M.H. Jansen-Vullers, and H.M.W. Verbeek. Protos2CPN: Using Colored Petri Nets for Configuring and Testing Business Processes. International Journal on Software Tools for Technology Transfer, 10(1):95-111, 2008.
 
448
A. Rozinat, R.S. Mans, M. Song, and W.M.P. van der Aalst. Discovering Colored Petri Nets From Event Logs. International Journal on Software Tools for Technology Transfer, 10(1):57-74, 2008.
 
449
J.B. Jřrgensen, K.B. Lassen, and W.M.P. van der Aalst. From Task Descriptions via Coloured Petri Nets Towards an Implementation of a New Electronic Patient Record. International Journal on Software Tools for Technology Transfer, 10(1):15-28, 2008.
 
450
W.M.P. van der Aalst, M. Dumas, C. Ouyang, A. Rozinat, and H.M.W. Verbeek. Choreography Conformance Checking: An Approach based on BPEL and Petri nets. ACM Transactions on Internet Technology, 8(3):29-59, 2008.
 
451
A.K. Alves de Medeiros, W.M.P. van der Aalst, and A.J.M.M. Weijters. Quantifying Process Equivalence Based on Observed Behavior. Data and Knowledge Engineering, 64(1):55-74, 2008.
 
452
I. Vanderfeesten, H.A. Reijers, and W.M.P. van der Aalst. Evaluating Workflow Process Designs using Cohesion and Coupling Metrics. Computers in Industry, 59(5):420-437, 2008.
 
453
W.M.P. van der Aalst and A. Nikolov. Mining E-Mail Messages: Uncovering Interaction Patterns and Processes using E-mail Logs. International Journal of Intelligent Information Technologies, 4(3):27-45, 2008.
 
454
W.M.P. van der Aalst, M. Dumas, F. Gottschalk, A.H.M. ter Hofstede, M. La Rosa, and J. Mendling. Correctness-Preserving Configuration of Business Process Models. In J.L. Fiadeiro and P. Inverardi, editors, Proceedings of the 11th International Conference on Fundamental Approaches to Software Engineering (FASE 2008), volume 4961 of Lecture Notes in Computer Science, pages 46-61. Springer-Verlag, Berlin, 2008.
 
455
N. Russell and W.M.P. van der Aalst. Work Distribution and Resource Management in BPEL4People: Capabilities and Opportunities. In Z. Bellahsene and M. Léonard, editors, Proceedings of the 20th International Conference on Advanced Information Systems Engineering (CAiSE'08), volume 5074 of Lecture Notes in Computer Science, pages 94-108. Springer-Verlag, Berlin, 2008.
 
456
I.T.P. Vanderfeesten, H.A. Reijers, J. Mendling, W.M.P. van der Aalst, and J. Cardoso. On a Quest for Good Process Models: The Cross-Connectivity Metric. In Z. Bellahsene and M. Léonard, editors, Proceedings of the 20th International Conference on Advanced Information Systems Engineering (CAiSE'08), volume 5074 of Lecture Notes in Computer Science, pages 480-494. Springer-Verlag, Berlin, 2008.
 
457
I.T.P. Vanderfeesten, H.A. Reijers, and W.M.P. van der Aalst. Product Based Workflow Support: A Recommendation Service for Dynamic Workflow Execution. In Z. Bellahsene and M. Léonard, editors, Proceedings of the 20th International Conference on Advanced Information Systems Engineering (CAiSE'08), volume 5074 of Lecture Notes in Computer Science, pages 571-574. Springer-Verlag, Berlin, 2008.
 
458
P. Wohed, N. Russell, A.H.M. ter Hofstede, B. Andersson, and W.M.P. van der Aalst. Open Source Workflow: A Viable Direction for BPM? In Z. Bellahsene and M. Léonard, editors, Proceedings of the 20th International Conference on Advanced Information Systems Engineering (CAiSE'08), volume 5074 of Lecture Notes in Computer Science, pages 583-586. Springer-Verlag, Berlin, 2008.
 
459
R.S. Mans, M.H. Schonenberg, M. Song, W.M.P. van der Aalst, and P.J.M. Bakker. Process Mining in Healthcare: A Case Study. In L. Azevedo and A.R. Londral, editors, Proceedings of the International Conference on Health Informatics (HEALTHINF'08), pages 118-125. Institute for Systems and Technologies of Information, Control and Communication (INSTICC), 2008.
 
460
H. Schonenberg, R. Mans, N. Russell, N. Mulyar, and W.M.P. van der Aalst. Process Flexibility: A Survey of Contemporary Approaches. In J. Dietz, A. Albani, and J. Barjis, editors, Advances in Enterprise Engineering I, volume 10 of Lecture Notes in Business Information Processing, pages 16-30. Springer-Verlag, Berlin, 2008.
 
461
H. Schonenberg, R. Mans, N. Russell, N. Mulyar, and W.M.P. van der Aalst. Towards a Taxonomy of Process Flexibility. In Z. Bellahsene, C. Woo, and E. Hunt, editors, Proceedings of the Forum at the CAiSE'08 conference, volume 344 of CEUR Workshop Proceedings, pages 81-84. CEUR-WS.org, 2008.
 
462
F. Gottschalk, W.M.P. van der Aalst, M.H Jansen-Vullers, and M. La Rosa. Configurable Workflow Models. International Journal of Cooperative Information Systems, 17(2):223-255, 2008.
 
463
N. Russell and W.M.P. van der Aalst. newYAWL: Designing a Workflow Systems Using Coloured Petri Nets. In N. Sidorova, D. Moldt, and H. Rölke, editors, Proceedings of the International Workshop on Petri Nets and Distributed Systems (PNDS'08), pages 67-84. Xidian University, 2008.
 
464
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 with Reset Arcs is Undecidable! In J. Kleijn and M. Koutny, editors, Proceedings of the International Workshop on Concurrency Methods Issues and Applications (CHINA'08), pages 57-72. Xidian University, 2008.
 
465
H. Schonenberg, B. Weber, B.F. van Dongen, and W.M.P. van der Aalst. Supporting Flexible Processes Through Recommendations Based on History. In M. Dumas, M. Reichert, and M.C. Shan, editors, International Conference on Business Process Management (BPM 2008), volume 5240 of Lecture Notes in Computer Science, pages 51-66. Springer-Verlag, Berlin, 2008.
 
466
M. de Leoni, W.M.P. van der Aalst, and A.H.M. ter Hofstede. Visual Support for Work Assignment in Process-Aware Information Systems. In M. Dumas, M. Reichert, and M.C. Shan, editors, International Conference on Business Process Management (BPM 2008), volume 5240 of Lecture Notes in Computer Science, pages 67-83. Springer-Verlag, Berlin, 2008.
 
467
A. Rozinat, M.T. Wynn, W.M.P. van der Aalst, A.H.M. ter Hofstede, and C. Fidge. Workflow Simulation for Operational Decision Support Using Design, Historic and State Information. In M. Dumas, M. Reichert, and M.C. Shan, editors, International Conference on Business Process Management (BPM 2008), volume 5240 of Lecture Notes in Computer Science, pages 196-211. Springer-Verlag, Berlin, 2008.
 
468
M. Song, C.W. Günther, and W.M.P. van der Aalst. Trace Clustering in Process Mining. In M. Castellanos, A.K.A. de Meideros, J. Mendling, and B. Weber, editors, Informal Proceedings of the Fourth Workshop on Business Process Intelligence (BPI 2008), pages 51-62. Politecnico di Milano, Italy, 2008.
 
469
M. Netjes, H. Reijers, and W.M.P. van der Aalst. On the Formal Generation of Process Redesigns. In C. Pautasso and J. Koehler, editors, Informal Proceedings of the International Workshop on Model-Driven Engineering For Business Process Management (MDE4BPM08), pages 49-60. Politecnico di Milano, Italy, 2008.
 
470
R. Mans, W.M.P. van der Aalst, N. Russell, and P.J.M. Bakker. Flexibility Schemes for Workflow Management Systems. In R. Lenz, M. Peleg, and M. Reichert, editors, Informal Proceedings of the Second International Workshop on Process-oriented Information Systems in Healthcare (ProHealth08), pages 50-61. Politecnico di Milano, Italy, 2008.
 
471
W.M.P. van der Aalst. Discovery, Verification and Conformance of Workflows with Cancellation. In H. Ehrig, R. Heckel, G. Rozenberg, and G. Taentzer, editors, Proceedings of the 4th International Conference on Graph Transformation (ICGT 2008), volume 5214 of Lecture Notes in Computer Science, pages 18-37. Springer-Verlag, Berlin, 2008.
 
472
W.M.P. van der Aalst. Process Mining: On the Balance Between Underfitting and Overfitting. In W. Bridewell, T. Calders, A.K. de Medeiros, S. Kramer, M. Pechenizkiy, and L. Todorovski, editors, Proceedings of the ECML-PKDD Workshop on Induction of Process Models (IPM08), pages 1-2. University of Antwerp, Belgium, 2008.
 
473
A. Rozinat, M. Veloso, and W.M.P. van der Aalst. Evaluating the Quality of Discovered Process Models. In W. Bridewell, T. Calders, A.K. de Medeiros, S. Kramer, M. Pechenizkiy, and L. Todorovski, editors, Proceedings of the ECML-PKDD Workshop on Induction of Process Models (IPM08), pages 45-52. University of Antwerp, Belgium, 2008.
 
474
F. Gottschalk, W.M.P. van der Aalst, and M.H. Jansen-Vullers. Merging Event-driven Process Chains. In R. Meersman and Z. Tari, editors, Proceedings of the 16th International Conference on Cooperative Information Systems, CoopIS 2008, OTM 2008, Part I, volume 5331 of Lecture Notes in Computer Science, pages 418-426. Springer-Verlag, Berlin, 2008.
 
475
F. Gottschalk, W.M.P. van der Aalst, and M.H. Jansen-Vullers. Mining Reference Process Models and their Configurations. In R. Meersman, Z. Tari, and P. Herrero, editors, Proceedings of the 3rd International Workshop on Enterprise Integration, Interoperability and Networking, EI2N08, OTM 2008 Workshops, volume 5333 of Lecture Notes in Computer Science, pages 263-272. Springer-Verlag, Berlin, 2008.
 
476
B.F. van Dongen, R.A. Crooy, and W.M.P. van der Aalst. Cycle Time Prediction: When Will This Case Finally Be Finished? In R. Meersman and Z. Tari, editors, Proceedings of the 16th International Conference on Cooperative Information Systems, CoopIS 2008, OTM 2008, Part I, volume 5331 of Lecture Notes in Computer Science, pages 319-336. Springer-Verlag, Berlin, 2008.
 
477
C. Bratosin, W.M.P. van der Aalst, N. Sidorova, and N. Trcka. A Reference Model for Grid Architectures and its Analysis. In R. Meersman and Z. Tari, editors, Proceedings of the International Conference on Grid Computing, High Performance and Distributed Applications, GADA 2008, OTM 2008, Part I, volume 5331 of Lecture Notes in Computer Science, pages 898-913. Springer-Verlag, Berlin, 2008.
 
478
W.M.P. van der Aalst and H.M.W. Verbeek. Process Mining in Web Services: The WebSphere Case. IEEE Bulletin of the Technical Committee on Data Engineering, 31(3):45-48, 2008.
 
479
W.M.P. van der Aalst. Challenges in Business Process Analysis. In J. Filipe, J. Cordeiro, and J. Cardoso, editors, Enterprise Information Systems, volume 12 of Lecture Notes in Business Information Processing, pages 27-42. Springer-Verlag, Berlin, 2008.
 
480
I. Vanderfeesten, H.A. Reijers, and W.M.P. van der Aalst. Case Handling Systems as Product Based Workflow Design Support. In J. Filipe, J. Cordeiro, and J. Cardoso, editors, Enterprise Information Systems, volume 12 of Lecture Notes in Business Information Processing, pages 187-198. Springer-Verlag, Berlin, 2008.
 
481
M. Netjes, S. Limam-Mansar, H.A. Reijers, and W.M.P. van der Aalst. Performing Business Process Redesign with Best Practices: An Evolutionary Approach. In J. Filipe, J. Cordeiro, and J. Cardoso, editors, Enterprise Information Systems, volume 12 of Lecture Notes in Business Information Processing, pages 199-211. Springer-Verlag, Berlin, 2008.
 
482
J. Cardoso, W.M.P. van der Aalst, C. Bussler, A. Sheth, and Kurt Sandkuhl. Inter-enterprise System and Application Integration: A Reality Check. In J. Filipe, J. Cordeiro, and J. Cardoso, editors, Enterprise Information Systems, volume 12 of Lecture Notes in Business Information Processing, pages 3-15. Springer-Verlag, Berlin, 2008.
 
483
A.K. Alves De Medeiros, W.M.P. van der Aalst, and C. Pedrinaci. Semantic Process Mining Tools: Core Building Blocks. In W. Golden, T. Acton, K. Conboy, H. van der Heijden, and V. Tuunainen, editors, 16th European Conference on Information Systems (ECIS'08), pages 1953-1964, Galway, Ireland, 2008.
 
484
M. Song and W.M.P. van der Aalst. Towards Comprehensive Support for Organizational Mining. Decision Support Systems, 46(1):300-317, 2008.
 
485
A.K. Alves de Medeiros and W.M.P. van der Aalst. Process Mining towards Semantics. In T.S. Dillon, editor, Advances in Web Semantics I, volume 4891 of Lecture Notes in Computer Science, pages 35-80. Springer-Verlag, Berlin, 2008.
 
486
W.M.P. van der Aalst and J. Billington, editors. Special Issue of Transactions on Petri Nets and Other Models of Concurrency (ToPNoC I), volume 5100 of Lecture Notes in Computer Science. Springer-Verlag, Berlin, 2008.
 
487
H.M.W. Verbeek, A.J. Pretorius, W.M.P. van der Aalst, and J. van Wijk. Assessing State Spaces Using Petri-Net Synthesis and Attribute-Based Visualization. In K. Jensen, W.M.P. van der Aalst, and J. Billington, editors, Transactions on Petri Nets and Other Models of Concurrency I, volume 5100 of Lecture Notes in Computer Science, pages 152-171. Springer-Verlag, Berlin, 2008.
 
488
N. Trcka, W.M.P. van der Aalst, C. Bratosin, and N. Sidorova. Evaluating a Data Removal Strategy for Grid Environments Using Colored Petri Nets. In T. Baker, A. Bui, and S. Tixeuil, editors, Proceedings of the International Conference on Principles of Distributed Systems (OPODIS 2008), volume 5401 of Lecture Notes in Computer Science, pages 538-541. Springer-Verlag, Berlin, 2008.
 
489
J. Mendling, B.F. van Dongen, and W.M.P. van der Aalst. Getting rid of OR-joins and Multiple Start Events in Business Process Models. Enterprise Information Systems, 2(4):403-419, 2008.
 
490
K.M. van Hee, A. Serebrenik, N. Sidorova, and W.M.P. van der Aalst. Working with the Past: Integrating History in Petri Nets. Fundamenta Informaticae, 88(3):387-409, 2008.
 
491
A. Dreiling, M. Rosemann, W.M.P. van der Aalst, and W. Sadiq. From Conceptual Process Models to Running Systems: A Holistic Approach for the Configuration of Enterprise System Processes. Decision Support Systems, 45(2):189-207, 2008.
 
492
M. El Kharbili, A.K.A. de Medeiros, S. Stein, and W.M.P. van der Aalst. Business Process Compliance Checking: Current State and Future Challenges. In P. Loos, M. Nuettgens, K. Turowski, and D. Werth, editors, Modellierung Betrieblicher Informationssysteme (MobIS 2008), volume 141 of Lecture Notes in Informatics, pages 107-113. Gesellschaft für Informatik, Bonn, 2008.
 
493
J. Mendling and W.M.P. van der Aalst. Advanced Reduction Rules for the Verification of EPC Business Process Models. In W. Hesse and A. Oberweis, editors, Proceedings of the Third AIS SIGSAND European Symposium on Analysis, Design, Use and Societal Impact of Information Systems (SIGSAND-EUROPE 2008), volume 129 of Lecture Notes in Informatics, pages 129-140. Gesellschaft für Informatik, Bonn, 2008.
 
494
C.W. Günther, M. Reichert, and W.M.P. van der Aalst. Supporting Flexible Processes with Adaptive Workflow and Case Handling. In Proceedings of the Seventeenth Workshop on Enabling Technologies: Infrastructures for Collaborative Enterprises (WETICE 2008), pages 229-234. IEEE Computer Society Press, 2008.
 
495
J. Cardoso and W.M.P. van der Aalst. Path Mining and Process Mining for Workflow Management Systems. In J. Wang, editor, Encyclopedia of Data Warehousing and Mining (Volume III), pages 1489-1496. IGI Global, 2009.
 
496
A. Koca, M. Funk, E. Karapanos, A. Rozinat, W.M.P. van der Aalst, H. Corporaal, J. Martens, P. van der Putten, A. Weijters, and A. Brombacher. Soft Reliability: An Interdisciplinary Approach with a User-System Focus. Quality and Reliability Engineering International, 25(1):3-20, 2009.
 
497
K.B. Lassen and W.M.P. van der Aalst. Complexity Metrics for Workflow Nets. Information and Software Technology, 51(3):610-626, 2009.
 
498
M.T. Wynn, H.M.W. Verbeek, W.M.P. van der Aalst, A.H.M. ter Hofstede, and D. Edmond. Soundness-preserving Reduction Rules for Reset Workflow Nets. Information Sciences, 179(6):769-790, 2009.
 
499
R.S. Mans, M.H. Schonenberg, M. Song, W.M.P. van der Aalst, and P.J.M. Bakker. Application of Process Mining in Healthcare: A Case Study in a Dutch Hospital. In Biomedical Engineering Systems and Technologies, volume 25 of Communications in Computer and Information Science, pages 425-438. Springer-Verlag, Berlin, 2009.
 
500
R.S. Mans, N.C. Russell, W.M.P. van der Aalst, A.J. Moleman, and P.J.M. Bakker. Schedule-Aware Workflow Management Systems. In D. Moldt, editor, Proceedings of the International Workshop on Petri Nets and Software Engineering (PNSE'09), pages 81-96. Université Paris 13, Paris, France, 2009.
 
501
W.M.P. van der Aalst, K.M. van Hee, P. Massuthe, N. Sidorova, and J.M. van der Werf. Compositional Service Trees. In G. Franceschinis and K. Wolf, editors, Proceedings of the 30th International Conference on Applications and Theory of Petri Nets (Petri Nets 2009), volume 5606 of Lecture Notes in Computer Science, pages 283-302. Springer-Verlag, Berlin, 2009.
 
502
W.M.P. van der Aalst, K.M. van Hee, N. Sidorova, and J.M. van der Werf. Compositional Service Trees. Computer Science Report No. 09-01, Technische Universiteit Eindhoven, The Netherlands, 2009.
 
503
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.
 
504
M. Zapletal, W.M.P. van der Aalst, N. Russell, P. Liegl, and H. Werthner. Patterns-Based Analysis of Windows Workflow. Computer Science Report No. 09-07, Technische Universiteit Eindhoven, The Netherlands, 2009.
 
505
A. Rozinat, S. Zickler, M. Veloso, W.M.P. van der Aalst, and C. McMillen. Analyzing Multi-agent Activity Logs Using Process Mining Techniques. In H. Asama, H. Kurokawa, J. Ota, and K. Sekiyama, editors, Distributed Autonomous Robotic Systems, volume 8, pages 251-260. Springer-Verlag, Berlin, 2009.
 
506
W.M.P. van der Aalst, M. Adams, A.H.M. ter Hofstede, M. Pesic, and H. Schonenberg. Flexibility as a Service. In L. Chen, editor, Database Systems for Advanced Applications (DASFAA 2009), volume 5667 of Lecture Notes in Computer Science, pages 320-334. Springer-Verlag, Berlin, 2009.
 
507
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.
 
508
J. Cardoso and W.M.P. van der Aalst. Handbook of Research on Business Process Modeling. Information Science Publishing, Hershey, PA, USA, 2009.
 
509
J. Recker, M. Rosemann, W.M.P. van der Aalst, M.H. Jansen-Vullers, and A. Dreiling. Configurable Reference Modeling Languages. In A. Bajaj and S. Wrycza, editors, Chapter XIV: Systems Analysis and Design for Advanced Modeling Methods - Best Practices, pages 180-201. IGI Global, Hershey, PA, USA, 2009.
 
510
W.M.P. van der Aalst. TomTom voor Bedrijfsprocessen. Informatie, 20(3):34-41, 2009.
 
511
P. Wohed, A.H.M. ter Hofstede, N. Russell, B. Andersson, and W.M.P. van der Aalst. On the Maturity of Open Source BPM Systems. BPTrends, 7(6):1-11, June 2009.
 
512
F. Bezerra, J. Wainer, and W.M.P. van der Aalst. Anomaly Detection Using Process Mining. In T. Halpin, J. Krogstie, S. Nurcan, E. Proper, R. Schmidt, P. Sofer, and R. Ukor, editors, Enterprise, Business-Proces and Information Systems Modeling, volume 29 of Lecture Notes in Business Information Processing, pages 149-161. Springer-Verlag, Berlin, 2009.
 
513
W.M.P. van der Aalst. TomTom for Business Process Management (TomTom4BPM). In P. van Eck, J. Gordijn, , and R. Wieringa, editors, Advanced Information Systems Engineering, Proceedings of the 21st International Conference on Advanced Information Systems Engineering (CAiSE'09), volume 5565 of Lecture Notes in Computer Science, pages 2-5. Springer-Verlag, Berlin, 2009.
 
514
N. Trcka, W.M.P. van der Aalst, and N. Sidorova. Data-Flow Anti-Patterns: Discovering Data-Flow Errors in Workflows. In P. van Eck, J. Gordijn, , and R. Wieringa, editors, Advanced Information Systems Engineering, Proceedings of the 21st International Conference on Advanced Information Systems Engineering (CAiSE'09), volume 5565 of Lecture Notes in Computer Science, pages 425-439. Springer-Verlag, Berlin, 2009.
 
515
F. Gottschalk, T. Wagemakers, M.H. Jansen-Vullers, W.M.P. van der Aalst, N. Sidorova, and M. La Rosa. Configurable Process Models: Experiences From a Municipality Case Study. In P. van Eck, J. Gordijn, , and R. Wieringa, editors, Advanced Information Systems Engineering, Proceedings of the 21st International Conference on Advanced Information Systems Engineering (CAiSE'09), volume 5565 of Lecture Notes in Computer Science, pages 486-500. Springer-Verlag, Berlin, 2009.
 
516
W.M.P. van der Aalst. Using Process Mining to Generate Accurate and Interactive Business 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-Verlag, Berlin, 2009.
 
517
W.M.P. van der Aalst, A.J. Mooij, C. Stahl, and K. Wolf. Service Interaction: Patterns, Formalization, and Analysis. In M. Bernardo, L. Padovani, and G. Zavattaro, editors, Formal Methods for Web Services, volume 5569 of Lecture Notes in Computer Science, pages 42-88. Springer-Verlag, Berlin, 2009.
 
518
M. Song, C.W. Günther, and W.M.P. van der Aalst. Trace Clustering in Process Mining. In D. Ardagna, editor, BPM 2008 Workshops, Proceedings of the Fourth Workshop on Business Process Intelligence (BPI 2008), volume 17 of Lecture Notes in Business Information Processing, pages 109-120. Springer-Verlag, Berlin, 2009.
 
519
M. Netjes, H. Reijers, and W.M.P. van der Aalst. On the Formal Generation of Process Redesigns. In D. Ardagna, editor, BPM 2008 Workshops, Proceedings of the International Workshop on Model-Driven Engineering For Business Process Management (MDE4BPM08), volume 17 of Lecture Notes in Business Information Processing, pages 224-235. Springer-Verlag, Berlin, 2009.
 
520
R. Mans, W.M.P. van der Aalst, N. Russell, and P.J.M. Bakker. Flexibility Schemes for Workflow Management Systems. In D. Ardagna, editor, BPM 2008 Workshops, Proceedings of the Second International Workshop on Process-oriented Information Systems in Healthcare (ProHealth08), volume 17 of Lecture Notes in Business Information Processing, pages 361-372. Springer-Verlag, Berlin, 2009.
 
521
W.M.P. van der Aalst, editor. Special Issue of Transactions on Petri Nets and Other Models of Concurrency on Concurrency in Process-Aware Information Systems (ToPNoC II), volume 5460 of Lecture Notes in Computer Science. Springer-Verlag, Berlin, 2009.
 
522
W.M.P. van der Aalst. Process-Aware Information Systems: Lessons to Be Learned from Process Mining. In  Transactions on Petri Nets and Other Models of Concurrency II, volume 5460 of Lecture Notes in Computer Science, pages 1-26. Springer-Verlag, Berlin, 2009.
 
523
M.T. Wynn, H.M.W. Verbeek, W.M.P. van der Aalst, A.H.M. ter Hofstede, and D. Edmond. Business Process Verification: Finally a Reality! Business Process Management Journal, 15(1):74-92, 2009.
 
524
W.M.P. van der Aalst. Process-Aware Information Systems: Design, Enactment and Analysis. In B.W. Wah, editor, Wiley Encyclopedia of Computer Science and Engineering, pages 2221-2233. Wiley & Sons, 2009.
 
525
L. Wen, J. Wang, W.M.P. van der Aalst, B. Huang, and J. Sun. A Novel Approach for Process Mining Based on Event Types. Journal of Intelligent Information Systems, 32(2):163-190, 2009.
 
526
C. Ouyang, M. Dumas, W.M.P. van der Aalst, A.H.M. ter Hofstede, and J. Mendling. From Business Process Models to Process-oriented Software Systems. ACM Transactions on Software Engineering and Methodology, 19(1):1-37, 2009.
 
527
M.T. Wynn, H.M.W. Verbeek, W.M.P. van der Aalst, A.H.M. ter Hofstede, and D. Edmond. Reduction Rules for YAWL Workflows with Cancellation Regions and OR-join. Information and Software Technology, 51(6):1010-1020, 2009.
 
528
M.T. Wynn, W.M.P. van der Aalst, A.H.M. ter Hofstede, and D. Edmond. Synchronisation and Cancellation in Workflows based on Reset Nets. International Journal of Cooperative Information Systems, 18(1):63-114, 2009.
 
529
M. Adams, A.H.M. ter Hofstede, N. Russell, and W.M.P. van der Aalst. Dynamic and Context-Aware Process Adaptation. In M. Wang and Z. Sun, editors, Handbook of Research on Complex Dynamic Process Management, pages 104-136. IGI Global, 2009.
 
530
M. La Rosa, W.M.P. van der Aalst, M. Dumas, and A.H.M. ter Hofstede. Questionnaire-based Variability Modeling for System Configuration. Software and Systems Modeling, 8(2):251-274, 2009.
 
531
A. Rozinat, R.S. Mans, M. Song, and W.M.P. van der Aalst. Discovering Simulation Models. Information Systems, 34(3):305-327, 2009.
 
532
M. Funk, A. Rozinat, A.K. Alves de Medeiros, P.H.A. van der Putten, H. Corporaal, and W.M.P. van der Aalst. Improving Product Usage Monitoring and Analysis with Semantic Concepts. In J.Yang, A. Ginige, H. Mayr, and R. Kutsche, editors, Information Systems: Modeling, Development, and Integration, volume 20 of Lecture Notes in Business Information Processing, pages 190-201. Springer-Verlag, Berlin, 2009.
 
533
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.
 
534
R. P. Jagadeesh Chandra Bose and W.M.P. van der Aalst. Context Aware Trace Clustering: Towards Improving Process Mining Results. In H. Liu and Z. Obradovic, editors, Proceedings of the SIAM International Conference on Data Mining (SDM 2009), pages 401-412. Society for Industrial and Applied Mathematics, 2009.
 
535
A. Rozinat, I.S.M. de Jong, C.W. Günther, and W.M.P. van der Aalst. Conformance Analysis of ASML's Test Process. In S.Sadiq, M.Indulska, M. zur Muehlen, E. Dubois, and P. Johannesson, editors, Proceedings of the Second International Workshop on Governance, Risk and Compliance (GRCIS'09), volume 459 of CEUR Workshop Proceedings, pages 1-15. CEUR-WS.org, 2009.
 
536
P. Wohed, N.C. Russell, A.H.M. ter Hofstede, B. Andersson, and W.M.P. van der Aalst. Patterns-based Evaluation of Open Source BPM Systems: The Cases of jBPM, OpenWFE, and Enhydra Shark. Information and Software Technology, 51(8):1187-1216, 2009.
 
537
R.S. Mans, N.C. Russell, W.M.P. van der Aalst, A.J. Moleman, and P.J.M. Bakker. Augmenting a Workflow Management System with Planning Facilities using Colored Petri Nets. In K. Jensen, editor, Proceedings of the Nineth Workshop on the Practical Use of Coloured Petri Nets and CPN Tools (CPN 2008), volume 588 of DAIMI, pages 143-162, Aarhus, Denmark, October 2008. University of Aarhus.
 
538
V. Kannan, W.M.P. van der Aalst, and M. Voorhoeve. Formal Modeling and Analysis by Simulation of Data Paths in Digital Document Printers. In K. Jensen, editor, Proceedings of the Nineth Workshop on the Practical Use of Coloured Petri Nets and CPN Tools (CPN 2008), volume 588 of DAIMI, pages 27-46, Aarhus, Denmark, October 2008. University of Aarhus.
 
539
R.S. Mans, H. Schonenberg, G. Leonardi, S. Panzarasa, A. Cavallini, S. Quaglini, and W.M.P. van der Aalst. Process Mining Techniques : An Application to Stroke Care. In S.K. Andersen, editor, Proceedings 21st International Congress of the European Federation for Medical Informatics (MIE 2008), volume 136 of Studies in Health Technology and Informatics, pages 573-578. IOS Press, 2008.
 
540
W.M.P. van der Aalst. Workflow Patterns. In L. Liu and M. Tamer Özsu, editors, Encyclopedia of Database Systems, pages 3557-3558. Springer-Verlag, Berlin, 2009.
 
541
W.M.P. van der Aalst. Business Process Management. In L. Liu and M. Tamer Özsu, editors, Encyclopedia of Database Systems, pages 289-293. Springer-Verlag, Berlin, 2009.
 
542
W.M.P. van der Aalst. Business Process Execution Language. In L. Liu and M. Tamer Özsu, editors, Encyclopedia of Database Systems, pages 288-289. Springer-Verlag, Berlin, 2009.
 
543
W.M.P. van der Aalst. Business Process Modeling Notation. In L. Liu and M. Tamer Özsu, editors, Encyclopedia of Database Systems, pages 293-294. Springer-Verlag, Berlin, 2009.
 
544
W.M.P. van der Aalst. Process Mining. In L. Liu and M. Tamer Özsu, editors, Encyclopedia of Database Systems, pages 2171-2173. Springer-Verlag, Berlin, 2009.
 
545
W.M.P. van der Aalst. Workflow Model Analysis. In L. Liu and M. Tamer Özsu, editors, Encyclopedia of Database Systems, pages 3551-3551. Springer-Verlag, Berlin, 2009.
 
546
W.M.P. van der Aalst. Composition. In L. Liu and M. Tamer Özsu, editors, Encyclopedia of Database Systems, pages 420-421. Springer-Verlag, Berlin, 2009.
 
547
W.M.P. van der Aalst. Choreography. In L. Liu and M. Tamer Özsu, editors, Encyclopedia of Database Systems, pages 329-329. Springer-Verlag, Berlin, 2009.
 
548
W.M.P. van der Aalst. Coordination. In L. Liu and M. Tamer Özsu, editors, Encyclopedia of Database Systems, pages 495-496. Springer-Verlag, Berlin, 2009.
 
549
W.M.P. van der Aalst. Orchestration. In L. Liu and M. Tamer Özsu, editors, Encyclopedia of Database Systems, pages 2004-2005. Springer-Verlag, Berlin, 2009.
 
550
W.M.P. van der Aalst. Petri Nets. In L. Liu and M. Tamer Özsu, editors, Encyclopedia of Database Systems, pages 2103-2108. Springer-Verlag, Berlin, 2009.
 
551
R.S. Mans, W.M.P. van der Aalst, N.C. Russell, P.J.M. Bakker, and A.J. Moleman. Model-based Development and Testing of Process-aware Information Systems. In Proceedings of the International Conference on Advances in System Testing and Validation Lifecycle (VALID 2009), pages 129-134. IEEE Computer Society, 2009.
 
552
J. Zhang, X. Lu, H. Nie, Z. Huang, and W.M.P. van der Aalst. Radiology Information System: A Workflow-Based Approach. International Journal of Computer Assisted Radiology, 4(5):509-516, 2009.
 
553
R.P. Jagadeesh Chandra Bose and W.M.P. van der Aalst. Abstractions in Process Mining: A Taxonomy of Patterns. In U. Dayal, J. Eder, J. Koehler, and H. Reijers, editors, Business Process Management (BPM 2009), volume 5701 of Lecture Notes in Computer Science, pages 159-175. Springer-Verlag, Berlin, 2009.
 
554
W.M.P. van der Aalst, R.S. Mans, and N.C. Russell. Workflow Support Using Proclets: Divide, Interact, and Conquer. IEEE Bulletin of the Technical Committee on Data Engineering, 32(3):16-22, 2009.
 
555
W.M.P. van der Aalst and. B. van Dongen, C.W. Günther, A. Rozinat, E. Verbeek, and T. Weijters. ProM: The Process Mining Toolkit. In A.K.A. de Medeiros and B. Weber, editors, Business Process Management Demonstration Track (BPMDemos 2009), volume 489 of CEUR Workshop Proceedings, pages 1-4. CEUR-WS.org, 2009.
 
556
M. Pesic, H.M. Schonenberg, and W.M.P. van der Aalst. DECLARE Demo: A Constraint-based Workflow Management System. In A.K.A. de Medeiros and B. Weber, editors, Business Process Management Demonstration Track (BPMDemos 2009), volume 489 of CEUR Workshop Proceedings, pages 1-4. CEUR-WS.org, 2009.
 
557
F. Cardi, M. de Leoni, M. Adams, A. ter Hofstede, and W.M.P. van der Aalst. Visual Support for Work Assignment in YAWL. In A.K.A. de Medeiros and B. Weber, editors, Business Process Management Demonstration Track (BPMDemos 2009), volume 489 of CEUR Workshop Proceedings, pages 1-5. CEUR-WS.org, 2009.
 
558
L. Aldred, W.M.P. van der Aalst, M. Dumas, and A.H.M. ter Hofstede. Dimensions of Coupling in Middleware. Concurrency and Computation: Practice and Experience, 21(18):2233-2269, 2009.
 
559
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 with Reset Arcs. In K. Jensen, J. Billington, and M. Koutny, editors, Transactions on Petri Nets and Other Models of Concurrency III, volume 5800 of Lecture Notes in Computer Science, pages 50-70. Springer-Verlag, Berlin, 2009.|
 
560
R.S. Mans, W.M.P. van der Aalst, N.C. Russell, P.J.M. Bakker, A.J. Moleman, K.B. Lassen, and J.B. Jørgensen. From Requirements via Colored Workflow Nets to an Implementation in Several Workflow Systems. In K. Jensen, J. Billington, and M. Koutny, editors, Transactions on Petri Nets and Other Models of Concurrency III, volume 5800 of Lecture Notes in Computer Science, pages 25-49. Springer-Verlag, Berlin, 2009.
 
561
N.C. Russell, W.M.P. van der Aalst, and A.H.M. ter Hofstede. Designing a Workflow System using Coloured Petri Nets. In K. Jensen, J. Billington, and M. Koutny, editors, Transactions on Petri Nets and Other Models of Concurrency III, volume 5800 of Lecture Notes in Computer Science, pages 1-24. Springer-Verlag, Berlin, 2009.
 
562
M. Zapletal, W.M.P. van der Aalst, N. Russell, P. Liegl, and H. Werthner. An Analysis of Windows Workflow's Control-Flow Expressiveness. In R. Eshuis, P. Grefen, and G. Papadopoulos, editors, Proceedings of the 7th IEEE European Conference on Web Services (ECOWS 2009), pages 200-209. IEEE Computer Society Press, 2009.
 
563
M. Pechenizkiy, N. Trcka, E. Vasilyeva, W.M.P. van der Aalst, and P. De Bra. Process Mining Online Assessment Data. In C. Romero, S. Ventura, M. Pechenizkiy, and R. Baker, editors, Educational Data Mining (EDM 2009), pages 279-288. www.educationaldatamining.org, 2009.
 
564
N. Trcka, W.M.P. van der Aalst, and N. Sidorova. Workflow Completion Patterns (best paper award). In S. Reveliotis, editor, Proceedings of the 5th IEEE Conference on Automation Science and Engineering (CASE 2009), pages 7-12. IEEE Computer Society Press, 2009.
 
565
M.H. Schonenberg, N. Sidorova, W.M.P. van der Aalst, and K. van Hee. History-Dependent Stochastic Petri Nets. In A. Pnueli, I. Virbitskaite, and A. Voronkov, editors, Perspectives of Systems Informatics, volume 5947 of Lecture Notes in Computer Science, pages 366-379. Springer-Verlag, Berlin, 2010.
 
566
H.M.W. Verbeek, J.C.A.M. Buijs, B.F. van Dongen, and W.M.P. van der Aalst. XES, XESame, and ProM 6. In P. Soffer and E. Proper, editors, Information Systems Evolution, volume 72 of Lecture Notes in Business Information Processing, pages 60-75. Springer-Verlag, Berlin, 2010.
 
567
R.S. Mans, N.C. Russell, W.M.P. van der Aalst, P.J.M. Bakker, and A.J. Moleman. Simulation to analyze the impact of a Schedule-Aware Workflow Management System. Simulation: Transactions of The Society for Modeling and Simulation International, 86(8-9):519-541, 2010.
 
568
W.M.P. van der Aalst, N. Lohmann, P. Massuthe, C. Stahl, and K. Wolf. Multiparty Contracts: Agreeing and Implementing Interorganizational Processes. The Computer Journal, 53(1):90-106, 2010.
 
569
W.M.P. van der Aalst, J. Nakatumba, A. Rozinat, and N. Russell. Business Process Simulation. In J. vom Brocke and M. Rosemann, editors, Handbook on Business Process Management, International Handbooks on Information Systems, pages 313-338. Springer-Verlag, Berlin, 2010.
 
570
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 Overfitting. Software and Systems Modeling, 9(1):87-111, 2010.
 
571
W.M.P. van der Aalst, M. Dumas, F. Gottschalk, A.H.M. ter Hofstede, M. La Rosa, and J. Mendling. Preserving Correctness During Business Process Model Configuration. Formal Aspects of Computing, 22(3):459-482, 2010.
 
572
H.M.W. Verbeek, M.T. Wynn, W.M.P. van der Aalst, and A.H.M. ter Hofstede. Reduction Rules for Reset/Inhibitor Nets. Journal of Computer and System Sciences, 76(2):125-143, 2010.
 
573
M. Montali, M. Pesic, W.M.P. van der Aalst, F. Chesani, P. Mello, and S. Storari. Declarative Specification and Verification of Service Choreographies. ACM Transactions on the Web, 4(1):1-62, 2010.
 
574
J. Mendling, H. Reijers, and W.M.P. van der Aalst. Seven Process Modeling Guidelines (7PMG). Information and Software Technology, 52(2):127-136, 2010.
 
575
L. Wen, J. Wang, W.M.P. van der Aalst, B. Huang, and J. Sun. Mining Process Models with Prime Invisible Tasks. Data and Knowledge Engineering, 69(10):999-1021, 2010.
 
576
W.M.P. van der Aalst and A. Nikolov. Mining E-Mail Messages: Uncovering Interaction Patterns and Processes using E-mail Logs. In V. Sugumaran, editor, Methodological Advancements in Intelligent Information Technologies: Evolutionary Trends, pages 212-234. Information Science Reference, 2010.
 
577
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-Verlag, Berlin, 2010.
 
578
W.M.P. van der Aalst, M. Adams, A.H.M. ter Hofstede, and N. Russell. Chapter 1: Introduction. In Modern Business Process Automation: YAWL and its Support Environment, pages 3-19. Springer-Verlag, Berlin, 2010.
 
579
M. Wynn, W.M.P. van der Aalst, and A.H.M. ter Hofstede. Chapter 3: Advanced Synchronization. In Modern Business Process Automation: YAWL and its Support Environment, pages 103-119. Springer-Verlag, Berlin, 2010.
 
580
M. Pesic, H. Schonenberg, and W.M.P. van der Aalst. Chapter 6: Declarative Workflow. In Modern Business Process Automation: YAWL and its Support Environment, pages 175-201. Springer-Verlag, Berlin, 2010.
 
581
M. Pesic, H. Schonenberg, and W.M.P. van der Aalst. Chapter 12: The Declare Service. In Modern Business Process Automation: YAWL and its Support Environment, pages 327-343. Springer-Verlag, Berlin, 2010.
 
582
M. Wynn, A. Rozinat, W.M.P. van der Aalst, A.H.M. ter Hofstede, and C. Fidge. Chapter 17: Process Mining and Simulation. In Modern Business Process Automation: YAWL and its Support Environment, pages 437-457. Springer-Verlag, Berlin, 2010.
 
583
R. Mans, W.M.P. van der Aalst, N. Russell, A. Moleman, P. Bakker, and M. Jaspers. Chapter 21: YAWL4Healthcare. In Modern Business Process Automation: YAWL and its Support Environment, pages 543-565. Springer-Verlag, Berlin, 2010.
 
584
W.M.P. van der Aalst, M. Adams, A.H.M. ter Hofstede, and N. Russell. Chapter 23: Epilogue. In Modern Business Process Automation: YAWL and its Support Environment, pages 591-596. Springer-Verlag, Berlin, 2010.
 
585
J. Nakatumba and W.M.P. van der Aalst. Analyzing Resource Behavior Using Process Mining. In S. Rinderle-Ma, S. Sadiq, and F. Leymann, editors, BPM 2009 Workshops, Proceedings of the Fifth Workshop on Business Process Intelligence (BPI'09), volume 43 of Lecture Notes in Business Information Processing, pages 69-80. Springer-Verlag, Berlin, 2010.
 
586
C.W. Günther, A. Rozinat, and W.M.P. van der Aalst. Activity Mining by Global Trace Segmentation. In S. Rinderle-Ma, S. Sadiq, and F. Leymann, editors, BPM 2009 Workshops, Proceedings of the Fifth Workshop on Business Process Intelligence (BPI'09), volume 43 of Lecture Notes in Business Information Processing, pages 128-139. Springer-Verlag, Berlin, 2010.
 
587
R.P. Jagadeesh Chandra Bose and W.M.P. van der Aalst. Trace Clustering Based on Conserved Patterns: Towards Achieving Better Process Models. In S. Rinderle-Ma, S. Sadiq, and F. Leymann, editors, BPM 2009 Workshops, Proceedings of the Fifth Workshop on Business Process Intelligence (BPI'09), volume 43 of Lecture Notes in Business Information Processing, pages 170-181. Springer-Verlag, Berlin, 2010.
 
588
M. Netjes, R. Mans, H.A. Reijers, W.M.P. van der Aalst, and R. Vanwersch. BPR Best Practices for the Healthcare Domain. In S. Rinderle-Ma, S. Sadiq, and F. Leymann, editors, BPM 2009 Workshops, Proceedings of the Third Workshop on Process-oriented information systems in healthcare (ProHealth'09), volume 43 of Lecture Notes in Business Information Processing, pages 605-616. Springer-Verlag, Berlin, 2010.
 
589
R.S. Mans, W.M.P. van der Aalst, N. Russell, P. Bakker, and A. Moleman. Process-Aware Information System Development for the Healthcare Domain - Consistency, Reliability, and Effectiveness. In S. Rinderle-Ma, S. Sadiq, and F. Leymann, editors, BPM 2009 Workshops, Proceedings of the Third Workshop on Process-oriented information systems in healthcare (ProHealth'09), volume 43 of Lecture Notes in Business Information Processing, pages 635-646. Springer-Verlag, Berlin, 2010.
 
590
Z. Huang, W.M.P. van der Aalst, X. Lu, and H. Duan. An Adaptive Work Distribution Mechanism Based on Reinforcement Learning. Expert Systems Applications, 37(12):7533-7541, 2010.
 
591
R.S. Mans, N.C. Russell, W.M.P. van der Aalst, A.J. Moleman, P.J.M. Bakker, and M. Jaspers. Proclets in Healthcare. Journal of Biomedical Informatics, 43(4):632-649, 2010.
 
592
W.M.P. van der Aalst. Process Discovery: Capturing the Invisible. IEEE Computational Intelligence Magazine, 5(1):28-41, 2010.
 
593
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.
 
594
W.M.P. van der Aalst. Geef Informatiesystemen TomTom-Functionaliteit. Management Executive, (1):12-14, January/February 2010.
 
595
W.M.P. van der Aalst. Process Mining Biedt Nieuwe Mogelijkheden: Geef Informatiesystemen TomTom-Functionaliteit. Kluwer Management: Verdieping, 169:1-11, 2010.
 
596
N. Trcka, M. Pechenizkiy, and W.M.P. van der Aalst. Chapter 9: Process Mining from Educational Data. In C. Romero, S. Ventura, M. Pechenizkiy, and R. Baker, editors, Handbook of Educational Data Mining, Data Mining and Knowledge Discovery Series, pages 123-142. Taylor and Francis, 2010.
 
597
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 Information Processing, pages 1-14. Springer-Verlag, Berlin, 2010.
 
598
H. Schonenberg, J. Jian, N. Sidorova, and W.M.P. van der Aalst. Business Trend Analysis by Simulation. In B. Pernici, editor, Advanced Information Systems Engineering, Proceedings of the 22nd International Conference on Advanced Information Systems Engineering (CAiSE'10), volume 6051 of Lecture Notes in Computer Science, pages 515-529. Springer-Verlag, Berlin, 2010.
 
599
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, Proceedings of the 22nd International Conference on Advanced Information Systems Engineering (CAiSE'10), volume 6051 of Lecture Notes in Computer Science, pages 38-52. Springer-Verlag, Berlin, 2010.
 
600
W.M.P. van der Aalst. Geef Informatiesystemen TomTom-Functionaliteit. Tijdschrift Controlling, 25(10):22-25, 2010.
 
601
C. Bratosin, N. Sidorova, and W.M.P. van der Aalst. Distributed Genetic Process Mining. In H. Ishibuchi, editor, IEEE World Congress on Computational Intelligence (WCCI 2010), pages 1951-1958, Barcelona, Spain, July 2010. IEEE.
 
602
R.P. Jagadeesh Chandra Bose and W.M.P. van der Aalst. Trace Alignment in Process Mining: Opportunities for Process Diagnostics. In R. Hull, J. Mendling, and S. Tai, editors, Business Process Management (BPM 2010), volume 6336 of Lecture Notes in Computer Science, pages 227-242. Springer-Verlag, Berlin, 2010.
 
603
W.M.P. van der Aalst, N. Lohmann, M. La Rosa, and J. Xu. Correctness Ensuring Process Configuration: An Approach Based on Partner Synthesis. In R. Hull, J. Mendling, and S. Tai, editors, Business Process Management (BPM 2010), volume 6336 of Lecture Notes in Computer Science, pages 95-111. Springer-Verlag, Berlin, 2010.
 
604
M. Pesic, D. Bosnacki, and W.M.P. van der Aalst. Enacting Declarative Languages Using LTL: Avoiding Errors and Improving Performance. In J. van de Pol and M. Weber, editors, Proceedings of the 17th International SPIN Workshop on Model Checking of Software (SPIN2010), volume 6349 of Lecture Notes in Computer Science, pages 146-161. Springer-Verlag, Berlin, 2010.
 
605
I. Vanderfeesten, H.A. Reijers, W.M.P. van der Aalst, and J. Vogelaar. Automatic Support for Product Based Workflow Design: Generation of Process Models from a Product Data Model. In R.Meersman, T. Dillon, and P. Herrero, editors, OTM Workshops, volume 6428 of Lecture Notes in Computer Science, pages 665-674. Springer-Verlag, Berlin, 2010.
 
606
C. Houy, P. Fettke, P. Loos, W.M.P. van der Aalst, and J. Krogstie. BPM-in-the-Large: Towards a Higher Level of Abstraction in Business Process Management. In M. Janssen, W. Lamersdorf, J. Pries-Heje, and M. Rosemann, editors, E-Government, E-Services and Global Processes, volume 334 of IFIP Advances in Information and Communication Technology, pages 237-248. Springer-Verlag, Berlin, 2010.
 
607
C. Bratosin, N. Sidorova, and W.M.P. van der Aalst. Discovering Process Models with Genetic Algorithms Using Sampling. In R. Setchi, I. Jordanov, R. Howlett, and L. Jain, editors, Knowledge-Based and Intelligent Information and Engineering Systems (KES 2010), volume 6276 of Lecture Notes in Computer Science, pages 41-50. Springer-Verlag, Berlin, 2010.
 
608
W.M.P. van der Aalst. Configurable Services in the Cloud: Supporting Variability While Enabling Cross-Organizational Process Mining. In R.Meersman, T. Dillon, and P. Herrero, editors, OTM Federated Conferences, 18th International Conference on Cooperative Information Systems (CoopIS 2010), volume 6426 of Lecture Notes in Computer Science, pages 8-25. Springer-Verlag, Berlin, 2010.
 
609
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.
 
610
J. Li, R.P. Jagadeesh Chandra Bose, and W.M.P. van der Aalst. Mining Context-Dependent and Interactive Business Process Maps using Execution Patterns. In M. zur Muehlen and J. Su, editors, BPM 2010 Workshops, Proceedings of the Sixth Workshop on Business Process Intelligence (BPI2010), volume 66 of Lecture Notes in Business Information Processing, pages 109-121. Springer-Verlag, Berlin, 2011.
 
611
A. Adriansyah, B.F. van Dongen, and W.M.P. van der Aalst. Towards Robust Conformance Checking. In M. zur Muehlen and J. Su, editors, BPM 2010 Workshops, Proceedings of the Sixth Workshop on Business Process Intelligence (BPI2010), volume 66 of Lecture Notes in Business Information Processing, pages 122-133. Springer-Verlag, Berlin, 2011.
 
612
R.S. Mans, N.C. Russell, W.M.P. van der Aalst, A.J. Moleman, and P.J.M. Bakker. Schedule-Aware Workflow Management Systems. In K. Jensen, S. Donatelli, and M. Koutny, editors, Transactions on Petri Nets and Other Models of Concurrency IV, volume 6550 of Lecture Notes in Computer Science, pages 121-143. Springer-Verlag, Berlin, 2010.
 
613
M.C. Fauvet, M. La Rosa, M. Sadegh, A. Alshareef, R.M. Dijkman, L. Garcia-Banuelos H.A. Reijers, W.M.P. van der Aalst, M. Dumas, and J. Mendling. Managing Process Model Collections with APROMORE. In P. Maglio, M. Weske, J. Yang, and M. Fantinato, editors, Proceedings of Service-Oriented Computing (ICSOC 2010), volume 6470 of Lecture Notes in Computer Science, pages 699-701. Springer-Verlag, Berlin, 2010.
 
614
W.M.P. van der Aalst, C. Bratosin, N. Sidorova, and N. Trcka. A Reference Model for Grid Architectures and its Validation. Concurrency and Computation: Practice and Experience, 22(11):1365–-1385, 2010.
 
615
W.M.P. van der Aalst. Process Mining: Discovering and Improving Spaghetti and Lasagna Processes. In N. Chawla, I. King, and A. Sperduti, editors, IEEE Symposium on Computational Intelligence and Data Mining (CIDM 2011), pages 13-20, Paris, France, April 2011. IEEE.
 
616
F.M. Maggi, A.J. Mooij, and W.M.P. van der Aalst. User-Guided Discovery of Declarative Process Models. In N. Chawla, I. King, and A. Sperduti, editors, IEEE Symposium on Computational Intelligence and Data Mining (CIDM 2011), pages 192-199, Paris, France, April 2011. IEEE.
 
617
W.M.P. van der Aalst and C. Stahl. Modeling Business Processes: A Petri Net Oriented Approach. MIT press, Cambridge, MA, 2011.
 
618
Z. Huang, W.M.P. van der Aalst, X. Lu, and H. Duan. Reinforcement Learning Based Resource Allocation in Business Process Management. Data and Knowledge Engineering, 70(1):127–-145, 2011.
 
619
M. La Rosa, H.A. Reijers, W.M.P. van der Aalst, R.M. Dijkman, J. Mendling, M. Dumas, and L. Garcia-Banuelos. APROMORE: An Advanced Process Model Repository. Expert Systems With Applications, 38(6):7029-7040, 2011.
 
620
W.M.P. van der Aalst, K.M. van Hee, J.M. van der Werf, A. Kumar, and M. Verdonk. Conceptual Model for Online Auditing. Decision Support Systems, 50(3):636–-647, 2011.
 
621
I. Vanderfeesten, H.A. Reijers, and W.M.P. van der Aalst. Product-Based Workflow Support. Information Systems, 36(2):517-535, 2011.
 
622
W.M.P. van der Aalst. Process Mining: Discovery, Conformance and Enhancement of Business Processes. Springer-Verlag, Berlin, 2011.
 
623
R.P. Jagadeesh Chandra Bose, W.M.P. van der Aalst, I. Zliobaite, and M. Pechenizkiy. Handling Concept Drift in Process Mining. In H. Mouratidis and C. Rolland, editors, International Conference on Advanced Information Systems Engineering (Caise 2011), volume 6741 of Lecture Notes in Computer Science, pages 391-405. Springer-Verlag, Berlin, 2011.
 
624
M. La Rosa, A.H.M. ter Hofstede, P. Wohed, H.A. Reijers, J. Mendling, and W.M.P. van der Aalst. Managing Process Model Complexity via Concrete Syntax Modifications. IEEE Transactions on Industrial Informatics, 7(2):255-265, 2011.
 
625
E. Baccarin, E.R.M. Madeira, C.B. Medeiros, and W.M.P. van der Aalst. SPICA's Multi-party Negotiation Protocol: Implementation Using YAWL. International Journal of Cooperative Information Systems, 20(3):221-259, 2011.
 
626
M.A. Grando, M.H. Schonenberg, and W.M.P. van der Aalst. Semantic Process Mining for the Verification of Medical Recommendations. In V. Traver, A. Fred, J. Filipe, and H. Gamboa, editors, Proceedings of the International Conference on Health Informatics (HEALTHINF'11), pages 5-16. SciTePress, 2011.
 
627
H. Zha, W.M.P. van der Aalst, J. Wang, L. Wen, and J. Sun. Verifying Workflow Processes: A Transformation-Based Approach. Software and Systems Modeling, 10(2):253-264, 2011.
 
628
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.
 
629
R. Zeng, X. He, and W.M.P. van der Aalst. A Method to Mine Workflows from Provenance for Assisting Scientific Workflow Composition. In IEEE World Congress on Services (Services 2011), pages 169-175. IEEE Computer Society, 2011.
 
630
A. Adriansyah, B. van Dongen, and W.M.P. van der Aalst. Conformance Checking using Cost-Based Fitness Analysis. In C.H. Chi and P. Johnson, editors, IEEE International Enterprise Computing Conference (EDOC 2011), pages 55-64. IEEE Computer Society, 2011.
 
631
R.P. Jagadeesh Chandra Bose and W.M.P. van der Aalst. Discovering Hierarchical Process Models Using ProM. In S. Nurcan, editor, Proceedings of the CAiSE Forum 2011, volume 734 of CEUR Workshop Proceedings, pages 33-40. CEUR-WS.org, 2011.
 
632
R.P. Jagadeesh Chandra Bose and W.M.P. van der Aalst. When Process Mining Meets Bioinformatics. In S. Nurcan, editor, Proceedings of the CAiSE Forum 2011, volume 734 of CEUR Workshop Proceedings, pages 147-154. CEUR-WS.org, 2011.
 
633
W.M.P. van der Aalst. Do Petri Nets Provide the Right Representational Bias for Process Mining? In J. Desel and A. Yakovlev, editors, Workshop Applications of Region Theory 2011 (ART 2011), volume 725 of CEUR Workshop Proceedings, pages 85-94. CEUR-WS.org, 2011.
 
634
W.M.P. van der Aalst, A. Adriansyah, and B.F. van Dongen. Causal Nets: A Modeling Language Tailored Towards Process Discovery. In J.P. Katoen and B. Koenig, editors, 22nd International Conference on Concurrency Theory (CONCUR 2011), Lecture Notes in Computer Science, pages 28–-42. Springer-Verlag, Berlin, 2011.
 
635
W.M.P. van der Aalst. Navigeren met Process Mining. Automatisering Gids, 45(24):12-13, 2011.
 
636
W.M.P. van der Aalst. On the Representational Bias in Process Mining (Keynote Paper). In S. Reddy and S. Tata, editors, Proceedings of the 20th Workshops on Enabling Technologies: Infrastructure for Collaborative Enterprises (WETICE 2011), pages 2-7, Paris, 2011. IEEE Computer Society Press.
 
637
D. Fahland, M. De Leoni, B. van Dongen, and W.M.P. van der Aalst. Behavioral Conformance of Artifact-Centric Process Models. In A. Abramowicz, editor, Business Information Systems (BIS 2011), volume 87 of Lecture Notes in Business Information Processing, pages 37-49. Springer-Verlag, Berlin, 2011.
 
638
W.M.P. van der Aalst. Intra- and Inter-Organizational Process Mining: Discovering Processes within and between Organizations. In P. Johannesson and J. Krogstie, editors, IFIP Conference on the Practice of Enterprise Modelling (PoEM 2011), volume 92 of Lecture Notes in Business Information Processing, pages 1-11. Springer-Verlag, Berlin, 2011.
 
639
R. Engel, W. Krathu, M. Zapletal, C. Pichler, W.M.P. van der Aalst, and H. Werthner. Process Mining for Electronic Data Interchange. In C. Heumer and T. Setzer, editors, Information Systems: Modeling, Development, and Integration, volume 85 of Lecture Notes in Business Information Processing, pages 77-88. Springer-Verlag, Berlin, 2011.
 
640
W.M.P. van der Aalst. Business Process Configuration in The Cloud: How to Support and Analyze Multi-Tenant Processes? In G. Zavattaro, U. Schreier, and C. Pautasso, editors, Proceedings of the 9th IEEE European Conference on Web Services (ECOWS 2011), pages 3-10. IEEE Computer Society Press, 2011.
 
641
C. Bratosin, N. Sidorova, and W.M.P. van der Aalst. Distributed Genetic Process Mining Using Sampling. In V. Malyshkin, editor, Parallel Computing Technologies (PaCT 2011), volume 6873 of Lecture Notes in Computer Science, pages 224-237. Springer-Verlag, Berlin, 2011.
 
642
C. Houy, P. Fettke, P. Loos, W.M.P. van der Aalst, and J. Krogstie. Business Process Management in the Large. Business and Information Systems Engineering, 3(6):385-388, 2011.
 
643
D. Fahland, M. De Leoni, B. van Dongen, and W.M.P. van der Aalst. Many-to-Many: Some Observations on Interactions in Artifact Choreographies. In D. Eichhorn, A. Koschmider, and H. Zhang, editors, Proceedings of the 3rd Central-European Workshop on Services and their Composition (ZEUS 2011), CEUR Workshop Proceedings. CEUR-WS.org, 2011.
 
644
D. Fahland, M. de Leoni, B.F. van Dongen, and W.M.P. van der Aalst. Conformance Checking of Interacting Processes with Overlapping Instances. In S. Rinderle, F. Toumani, and K. Wolf, editors, Business Process Management (BPM 2011), volume 6896 of Lecture Notes in Computer Science, pages 345-361. Springer-Verlag, Berlin, 2011.
 
645
D. Fahland and W.M.P. van der Aalst. Simplifying Mined Process Models: An Approach Based on Unfoldings. In S. Rinderle, F. Toumani, and K. Wolf, editors, Business Process Management (BPM 2011), volume 6896 of Lecture Notes in Computer Science, pages 362-378. Springer-Verlag, Berlin, 2011.
 
646
F.M. Maggi, M. Montali, M. Westergaard, and W.M.P. van der Aalst. Monitoring Business Constraints with Linear Temporal Logic: An Approach Based on Colored Automata. In S. Rinderle, F. Toumani, and K. Wolf, editors, Business Process Management (BPM 2011), volume 6896 of Lecture Notes in Computer Science, pages 132-147. Springer-Verlag, Berlin, 2011.
 
647
W.M.P. van der Aalst. Process Mining Manifesto: Toward Real Business Intelligence. Computing Now, December 2011.
 
648
M. La Rosa, P. Wohed, J. Mendling, A.H.M. ter Hofstede, H.A. Reijers, and W.M.P. van der Aalst. Managing Process Model Complexity via Abstract Syntax Modifications. IEEE Transactions on Industrial Informatics, 7(4):614-629, 2011.
 
649
R. Zeng, X. He, and W.M.P. van der Aalst. A Method to Build and Analyze Scientific Workflows From Provenance Through Process Mining. In Third USENIX Workshop on the Theory and Practice of Provenance (TaPP'11), pages 1-5. USENIX, Berkeley, CA, 2011.
 
650
W.M.P. van der Aalst. Process Mining: Making Knowledge Discovery Process Centric. SIGKDD Explorations, 13(2):45-49, 2011.
 
651
W.M.P. van der Aalst. Using Process Mining to Bridge the Gap between BI and BPM. IEEE Computer, 44(12):77-80, 2011.
 
652
W.M.P. van der Aalst. Petri Nets at TU/e. Petri Net Newsletter, 79:27-33, 2011.
 
653
C. Houy, P. Fettke, P. Loos, W.M.P. van der Aalst, and J. Krogstie. Geschäftsprozessmanagement im Großen. Wirtschaftsinformatik, 53(6):377-381, 2011.
 
654
R. Mans, N. Russell, W.M.P. van der Aalst, A. Moleman, and P. Bakker. Supporting Healthcare Processes with YAWL4Healthcare. In H. Ludwig and H. Reijers, editors, Proceedings of the Demo Track of BPM 2011, volume 820 of CEUR Workshop Proceedings, pages 1-6. CEUR-WS.org, 2011.
 
655
W.M.P. van der Aalst, J. Buijs, and B.F. van Dongen. Towards Improving the Representational Bias of Process Mining. In K. Aberer, E. Damiani, and T. Dillon, editors, IFIP International Symposium on Data-Driven Process Discovery and Analysis (SIMPDA 2011), volume 116 of Lecture Notes in Business Information Processing, pages 39-54. Springer-Verlag, Berlin, 2012.
 
656
J.C.A.M. Buijs, B.F. van Dongen, and W.M.P. van der Aalst. Towards Cross-Organizational Process Mining in Collections of Process Models and their Executions. In F. Daniel, K. Barkaoui, and S. Dustdar, editors, Business Process Management Workshops, International Workshop on Process Model Collections (PMC 2011), volume 100 of Lecture Notes in Business Information Processing, pages 2-13. Springer-Verlag, Berlin, 2012.
 
657
J.J.C.L. Vogelaar, H.M.W. Verbeek, B. Luka, and W.M.P. van der Aalst. Comparing Business Processes to Determine the Feasibility of Configurable Models: A Case Study. In F. Daniel, K. Barkaoui, and S. Dustdar, editors, Business Process Management Workshops, International Workshop on Process Model Collections (PMC 2011), volume 100 of Lecture Notes in Business Information Processing, pages 50-61. Springer-Verlag, Berlin, 2012.
 
658
IEEE Task Force on Process Mining. Process Mining Manifesto. In F. Daniel, K. Barkaoui, and S. Dustdar, editors, Business Process Management Workshops, volume 99 of Lecture Notes in Business Information Processing, pages 169-194. Springer-Verlag, Berlin, 2012.
 
659
M.A. Grando, W.M.P. van der Aalst, and R.S. Mans. Reusing a Declarative Specification to Check the Conformance of Different CIGs. In F. Daniel, K. Barkaoui, and S. Dustdar, editors, Business Process Management Workshops, volume 100 of Lecture Notes in Business Information Processing, pages 188-199. Springer-Verlag, Berlin, 2012.
 
660
I. Ailenei, A. Rozinat, A. Eckert, and W.M.P. van der Aalst. Definition and Validation of Process Mining Use Cases. In F. Daniel, K. Barkaoui, and S. Dustdar, editors, Business Process Management Workshops, International Workshop on Business Process Intelligence (BPI 2011), volume 99 of Lecture Notes in Business Information Processing, pages 75-86. Springer-Verlag, Berlin, 2012.
 
661
R.P. Jagadeesh Chandra Bose and W.M.P. van der Aalst. Analysis of Patient Treatment Procedures. In F. Daniel, K. Barkaoui, and S. Dustdar, editors, Business Process Management Workshops, International Workshop on Business Process Intelligence (BPI 2011), volume 99 of Lecture Notes in Business Information Processing, pages 165-166. Springer-Verlag, Berlin, 2012, (see also full submission).
 
662
W.M.P. van der Aalst and S. Dustdar. Process Mining Put into Context. IEEE Internet Computing, 16(1):82-86, 2012.
 
663
R.P. Jagadeesh Chandra Bose and W.M.P. van der Aalst. Process Diagnostics Using Trace Alignment: Opportunities, Issues, and Challenges. Information Systems, 37(2):117-141, 2012.
 
664
W.M.P. van der Aalst, A. Adriansyah, and B. van Dongen. Replaying History on Process Models for Conformance Checking and Performance Analysis. WIREs Data Mining and Knowledge Discovery, 2(2):182-192, 2012.
 
665
M. Peleg, N. Mulyar, and W.M.P. van der Aalst. Pattern-Based Analysis of Computer-Interpretable Guidelines: Don’t Forget the Context. Artificial Intelligence in Medicine, 54(1):73-74, 2012.
 
666
W.M.P. van der Aalst, N. Lohmann, and M. La Rosa. Ensuring Correctness During Process Configuration Via Partner Synthesis. Information Systems, 37(6):574-592, 2012.
 
667
W.M.P. van der Aalst. Distributed Process Discovery and Conformance Checking. In J. de Lara and A. Zisman, editors, International Conference on Fundamental Approaches to Software Engineering (FASE 2012), volume 7212 of Lecture Notes in Computer Science, pages 1-25. Springer-Verlag, Berlin, 2012.
 
668
F.M. Maggi, M. Montali, and W.M.P. van der Aalst. An Operational Decision Support Framework for Monitoring Business Constraints. In J. de Lara and A. Zisman, editors, International Conference on Fundamental Approaches to Software Engineering (FASE 2012), volume 7212 of Lecture Notes in Computer Science, pages 146-162. Springer-Verlag, Berlin, 2012.
 
669
F.M. Maggi, R.P. Jagadeesh Chandra Bose, and W.M.P. van der Aalst. Efficient Discovery of Understandable Declarative Process Models from Event Logs. In J. Ralyte, X. Franch, S. Brinkkemper, and S. Wrycza, editors, International Conference on Advanced Information Systems Engineering (Caise 2012), volume 7328 of Lecture Notes in Computer Science, pages 270-285. Springer-Verlag, Berlin, 2012.
 
670
R. Engel, W.M.P. van der Aalst, M. Zapletal, C. Pichler, and H. Werthner. Mining Inter-Organizational Business Process Models from EDI Messages: A Case Study from the Automotive Sector. In J. Ralyte, X. Franch, S. Brinkkemper, and S. Wrycza, editors, International Conference on Advanced Information Systems Engineering (Caise 2012), volume 7328 of Lecture Notes in Computer Science, pages 222-237. Springer-Verlag, Berlin, 2012.
 
671
W.M.P. van der Aalst and A.H.M. ter Hofstede. Workflow Patterns Put Into Context. Software and Systems Modeling, 11(3):319-323, 2012.
 
672
R.P. Jagadeesh Chandra Bose, H.M.W. Verbeek, and W.M.P. van der Aalst. Discovering Hierarchical Process Models Using ProM. In S. Nurcan, editor, IS Olympics: Information Systems in a Diverse World, volume 107 of Lecture Notes in Business Information Processing, pages 33-48. Springer-Verlag, Berlin, 2012.
 
673
R.P. Jagadeesh Chandra Bose and W.M.P. van der Aalst. When Process Mining Meets Bioinformatics. In S. Nurcan, editor, IS Olympics: Information Systems in a Diverse World, volume 107 of Lecture Notes in Business Information Processing, pages 202-217. Springer-Verlag, Berlin, 2012.
 
674
W.M.P. van der Aalst. Decomposing Process Mining Problems Using Passages. In S. Haddad and L. Pomello, editors, Applications and Theory of Petri Nets 2012, volume 7347 of Lecture Notes in Computer Science, pages 72-91. Springer-Verlag, Berlin, 2012.
 
675
J. Nakatumba, M. Westergaard, and W.M.P. van der Aalst. An Infrastructure for Cost-Effective Testing of Operational Support Algorithms Based on Colored Petri Nets. In S. Haddad and L. Pomello, editors, Applications and Theory of Petri Nets 2012, volume 7347 of Lecture Notes in Computer Science, pages 308-327. Springer-Verlag, Berlin, 2012.
 
676
A. Rozinat and W. van der Aalst. Objektivierung des bauchgefühls (in german). Business Technology, 9(2):30-34, 2012.
 
677
F.M. Maggi, M. Westergaard, M. Montali, and W.M.P. van der Aalst. Runtime Verification of LTL-Based Declarative Process Models. In S. Khurshid and K. Sen, editors, Runtime Verification (RV 2011), volume 7186 of Lecture Notes in Computer Science, pages 131-146. Springer-Verlag, Berlin, 2012.
 
678
W.M.P. van der Aalst. Process Mining. Communications of the ACM, 55(8):76-83, 2012.
 
679
W.M.P. van der Aalst. A Decade of Business Process Management Conferences: Personal Reflections on a Developing Discipline. In A. Barros, A. Gal, and E. Kindler, editors, International Conference on Business Process Management (BPM 2012), volume 7481 of Lecture Notes in Computer Science, pages 1-16. Springer-Verlag, Berlin, 2012.
 
680
J.M.E.M. van der Werf, H.M.W. Verbeek, and W.M.P. van der Aalst. Context-Aware Compliance Checking. In A. Barros, A. Gal, and E. Kindler, editors, International Conference on Business Process Management (BPM 2012), volume 7481 of Lecture Notes in Computer Science, pages 98-113. Springer-Verlag, Berlin, 2012.
 
681
D. Fahland and W.M.P. van der Aalst. Repairing Process Models to Reflect Reality. In A. Barros, A. Gal, and E. Kindler, editors, International Conference on Business Process Management (BPM 2012), volume 7481 of Lecture Notes in Computer Science, pages 229-245. Springer-Verlag, Berlin, 2012.
 
682
E. Ramezani, D. Fahland, and W.M.P. van der Aalst. Where Did I Misbehave? Diagnostic Information in Compliance Checking. In A. Barros, A. Gal, and E. Kindler, editors, International Conference on Business Process Management (BPM 2012), volume 7481 of Lecture Notes in Computer Science, pages 262-278. Springer-Verlag, Berlin, 2012.
 
683
M. de Leoni, F.M. Maggi, and W.M.P. van der Aalst. Aligning Event Logs and Declarative Process Models for Conformance Checking. In A. Barros, A. Gal, and E. Kindler, editors, International Conference on Business Process Management (BPM 2012), volume 7481 of Lecture Notes in Computer Science, pages 82-97. Springer-Verlag, Berlin, 2012.
 
684
W.M.P. van der Aalst. What makes a good process model?: Lessons Learned From Process Mining. Software and Systems Modeling, 11(4):557-569, 2012.
 
685
W.M.P. van der Aalst. Process Mining: Overview and Opportunities. ACM Transactions on Management Information Systems, 3(2):7.1-7.17, 2012.
 
686
R. Accorsi, M. Ullrich, and W.M.P. van der Aalst. Process Mining. Informatik-Spektrum, 35(5):354-359, 2012.
 
687
D.M.M. Schunselaar, F.M. Maggi, N. Sidorova, and W.M.P. van der Aalst. Configurable Declare: Designing Customisable Flexible Process Models. In R. Meersman, S. Rinderle, P. Dadam, and X. Zhou, editors, OTM Federated Conferences, 20th International Conference on Cooperative Information Systems (CoopIS 2012), volume 7565 of Lecture Notes in Computer Science, pages 20-37. Springer-Verlag, Berlin, 2012.
 
688
J.C.A.M. Buijs, B.F. van Dongen, and W.M.P. van der Aalst. On the Role of Fitness, Precision, Generalization and Simplicity in Process Discovery. In R. Meersman, S. Rinderle, P. Dadam, and X. Zhou, editors, OTM Federated Conferences, 20th International Conference on Cooperative Information Systems (CoopIS 2012), volume 7565 of Lecture Notes in Computer Science, pages 305-322. Springer-Verlag, Berlin, 2012.
 
689
R. Mans, W.M.P. van der Aalst, N. Russell, P. Bakker, and A. Moleman. Lightweight Interacting Patient Treatment Processes. International Journal of Knowledge-Based Organizations, 2(4):1-19, 2012.
 
690
W.M.P. van der Aalst, A. Burattin, M. de Leoni, A. Guzzo, F.M. Maggi, and M. Montali. Process Mining: Come estrarre conoscenza dai log dei sistemi informativi orientati ai processi. Mondo Digitale, 11(43):1-18, 2012.
 
691
M. de Leoni, M. Adams, W.M.P. van der Aalst, and A.H.M. ter Hofstede. Visual Support for Work Assignment in Process-Aware Information Systems: Framework Formalisation and Implementation. Decision Support Systems, 54(1):345-361, 2012.
 
692
K. Jensen, W.M.P. van der Aalst, M. Ajmone Marsan, G. Franceschinis, J. Kleijn, and L.M. Kristensen, editors. Special Issue of Transactions on Petri Nets and Other Models of Concurrency (ToPNoC VI), volume 7400 of Lecture Notes in Computer Science. Springer-Verlag, Berlin, 2012.
 
693
B.F. van Dongen, J. Desel, and W.M.P. van der Aalst. Aggregating Causal Runs into Workflow Nets. In K. Jensen, W.M.P. van der Aalst, M. Ajmone Marsan, G. Franceschinis, J. Kleijn, and L.M. Kristensen, editors, Transactions on Petri Nets and Other Models of Concurrency (ToPNoC VI), volume 7400 of Lecture Notes in Computer Science, pages 334-363. Springer-Verlag, Berlin, 2012.
 
694
D. Schunselaar, E. Verbeek, W.M.P. van der Aalst, and H. Reijers. Creating Sound and Reversible Configurable Process Models Using CoSeNets. In W. Abramowicz, D. Kriksciuniene, and V. Sakalauskas, editors, Business Information Systems (BIS 2012), volume 117 of Lecture Notes in Business Information Processing, pages 24-35. Springer-Verlag, Berlin, 2012.
 
695
M. De Leoni, W.M.P. van der Aalst, and B. van Dongen. Data- and Resource-Aware Conformance Checking of Business Processes. In W. Abramowicz, D. Kriksciuniene, and V. Sakalauskas, editors, Business Information Systems (BIS 2012), volume 117 of Lecture Notes in Business Information Processing, pages 48-59. Springer-Verlag, Berlin, 2012.
 
696
J. Nakatumba, M. Westergaard, and W.M.P. van der Aalst. Generating Event Logs with Workload-Dependent Speeds from Simulation Models. In M. Bajec and J. Eder, editors, Advanced Information Systems Engineering Workshops, volume 112 of Lecture Notes in Business Information Processing, pages 383-397. Springer-Verlag, Berlin, 2012.
 
697
J.C.A.M. Buijs, B.F. van Dongen, and W.M.P. van der Aalst. A Genetic Algorithm for Discovering Process Trees. In IEEE Congress on Evolutionary Computation (CEC 2012), pages 1-8. IEEE Computer Society, 2012.
 
698
A. Burattin, F. Maggi, W.M.P. van der Aalst, and A. Sperduti. Techniques for a Posteriori Analysis of Declarative Processes. In C.H. Chi, D. Gasevic, and W.J. van den Heuvel, editors, IEEE International Enterprise Computing Conference (EDOC 2012), pages 41-50. IEEE Computer Society, 2012.
 
699
W.M.P. van der Aalst, M. de Leoni, and A.H.M. ter Hofstede. Chapter 8: Process Mining and Visual Analytics: Breathing Life into Business Process Models. In A. Floares, editor, Computational Intelligence, pages 107-138. Nova Publishers, 2012.
 
700
W.M.P. van der Aalst, P.M.E. De Bra, and M.A. van Buul, editors. Liber amicorum Kees van Hee. Technische Universiteit Eindhoven, 2011.
 
701
A. Burattin, A.Sperduti, and W.M.P. van der Aalst. Heuristics Miners for Streaming Event Data. CoRR, abs/1212.6383, 2012.
 
702
A. Adriansyah, J. Munoz-Gama, J. Carmona, B.F. van Dongen, and W.M.P. van der Aalst. Alignment Based Precision Checking. In M. La Rosa and P. Soffer, editors, Business Process Management Workshops, International Workshop on Business Process Intelligence (BPI 2012), volume 132 of Lecture Notes in Business Information Processing, pages 137-149. Springer-Verlag, Berlin, 2013.
 
703
S. Suriadi, C. Ouyang W.M.P. van der Aalst, and A.H.M. ter Hofstede. Root Cause Analysis with Enriched Process Logs. In M. La Rosa and P. Soffer, editors, Business Process Management Workshops, International Workshop on Business Process Intelligence (BPI 2012), volume 132 of Lecture Notes in Business Information Processing, pages 174-186. Springer-Verlag, Berlin, 2013.
 
704
H.M.W. Verbeek and W.M.P. van der Aalst. An Experimental Evaluation of Passage-Based Process Discovery. In M. La Rosa and P. Soffer, editors, Business Process Management Workshops, International Workshop on Business Process Intelligence (BPI 2012), volume 132 of Lecture Notes in Business Information Processing, pages 205-210. Springer-Verlag, Berlin, 2013.
 
705
A. Pika, W.M.P. van der Aalst, C.J. Fidge, A.H.M. ter Hofstede, and M.T. Wynn. Predicting Deadline Transgressions Using Event Logs. In M. La Rosa and P. Soffer, editors, Business Process Management Workshops, International Workshop on Business Process Intelligence (BPI 2012), volume 132 of Lecture Notes in Business Information Processing, pages 211-216. Springer-Verlag, Berlin, 2013.
 
706
R.P. Jagadeesh Chandra Bose and W.M.P. van der Aalst. Process Mining Applied to the BPI Challenge 2012: Divide and Conquer While Discerning Resources. In M. La Rosa and P. Soffer, editors, Business Process Management Workshops, International Workshop on Business Process Intelligence (BPI 2012), volume 132 of Lecture Notes in Business Information Processing, pages 221-222. Springer-Verlag, Berlin, 2013. Click here for report.
 
707
R.S. Mans, W.M.P. van der Aalst, R. Vanwersch, and A. Moleman. Process Mining in Healthcare: Data Challenges when Answering Frequently Posed Questions. In R. Lenz, S. Miksch, M. Peleg, M. Reichert, D. Riano, and A. ten Teije, editors, Process Support and Knowledge Representation in Health Care, volume 7738 of Lecture Notes in Artificial Intelligence, pages 140-153. Springer-Verlag, Berlin, 2013.
 
708
T. Basten, M. Hendrix, N. Trcka, L. Somers, M. Geilen, Y. Yang, H. Corporaal, G. Igna, F. Vaandrager, S. de Smet, M. Voorhoeve, and W.M.P. van der Aalst. Chapter 7: Model-Driven Design-Space Exploration for Software-Intensive Embedded Systems. In Model-Based Design of Adaptive Embedded Systems, pages 189-244. Springer-Verlag, Berlin, 2013.
 
709
K. Jensen, W.M.P. van der Aalst, G. Balbo, M. Koutny, and K. Wolf, editors. Special Issue of Transactions on Petri Nets and Other Models of Concurrency (ToPNoC VII), volume 7480 of Lecture Notes in Computer Science. Springer-Verlag, Berlin, 2013.
 
710
W.M.P. van der Aalst, C. Stahl, and W. Westergaard. Strategies for Modeling Complex Processes using Colored Petri Nets. In K. Jensen, W.M.P. van der Aalst, G. Balbo, M. Koutny, and K. Wolf, editors, Transactions on Petri Nets and Other Models of Concurrency (ToPNoC VII), volume 7480 of Lecture Notes in Computer Science, pages 6-55. Springer-Verlag, Berlin, 2013.
 
711
W.M.P. van der Aalst and B.F. van Dongen. Discovering Petri Nets From Event Logs. In K. Jensen, W.M.P. van der Aalst, G. Balbo, M. Koutny, and K. Wolf, editors, Transactions on Petri Nets and Other Models of Concurrency (ToPNoC VII), volume 7480 of Lecture Notes in Computer Science, pages 372-422. Springer-Verlag, Berlin, 2013.
 
712
W.M.P. van der Aalst. Business Process Management: A Comprehensive Survey. ISRN Software Engineering, pages 1-37, 2013. doi:10.1155/2013/507984.
 
713
W.M.P. van der Aalst. Desire Lines in Big Data: Using Event Data for Process Discovery and Conformance Checking. In J. Becker and M. Matzner, editors, Promoting Business Process Management Excellence in Russia (PropelleR 2012), pages 23-30. European Research Center for Information Systems, 2013.
 
714
W.M.P. van der Aalst. Challenges in Business Process Mining (Commentary). Journal of Data Analysis, 8(2):31-42, 2013.
 
715
R. Müller, W.M.P. van der Aalst, and C. Stahl. Conformance Checking of Services Using the Best Matching Private View. In M. ter Beek and N. Lohmann, editors, WS-FM 2012, volume 7843 of Lecture Notes in Computer Science, pages 49-68. Springer-Verlag, Berlin, 2013.
 
716
D. Fahland and W.M.P. van der Aalst. Simplifying Discovered Process Models in a Controlled Manner. Information Systems, 38(4):585-605, 2013.
 
717
M.A. Grando, M.H. Schonenberg, and W.M.P. van der Aalst. Semantic-Based Conformance Checking of Computer Interpretable Medical Guidelines. In A. Fred, J. Filipe, and H. Gamboa, editors, Biomedical Engineering Systems and Technologies, volume 273 of Communications in Computer and Information Science, pages 285-300. Springer-Verlag, Berlin, 2013.
 
718
F.M. Maggi, A.J. Mooij, and W.M.P. van der Aalst. Analyzing Vessel Behavior Using Process Mining. In P.van de Laar, J. Tretmans, and M. Borth, editors, Situation Awareness with Systems of Systems, pages 133-148. Springer-Verlag, Berlin, 2013.
 
719
S.J.J. Leemans, D. Fahland, and W.M.P. van der Aalst. Discovering Block-structured Process Models from Event Logs: A Constructive Approach. In J.M. Colom and J. Desel, editors, Applications and Theory of Petri Nets 2013, volume 7927 of Lecture Notes in Computer Science, pages 311-329. Springer-Verlag, Berlin, 2013.
 
720
J. Munoz-Gama, J. Carmona, and W.M.P. van der Aalst. Hierarchical Conformance Checking of Process Models Based on Event Logs. In J.M. Colom and J. Desel, editors, Applications and Theory of Petri Nets 2013, volume 7927 of Lecture Notes in Computer Science, pages 291-310. Springer-Verlag, Berlin, 2013.
 
721
W.M.P. van der Aalst. Decomposing Petri Nets for Process Mining: A Generic Approach. Distributed and Parallel Databases, 31(4):471-507, 2013. Erratum.
 
722
R.P. Jagadeesh Chandra, F.M. Maggi, and W.M.P. van der Aalst. Enhancing Declare Maps Based on Event Correlations. In F. Daniel, J. Wang, and B. Weber, editors, International Conference on Business Process Management (BPM 2013), volume 8094 of Lecture Notes in Computer Science, pages 97-112. Springer-Verlag, Berlin, 2013.
 
723
J. Buijs, B. van Dongen, and W.M.P. van der Aalst. Mining Configurable Process Models from Collections of Event Logs. In F. Daniel, J. Wang, and B. Weber, editors, International Conference on Business Process Management (BPM 2013), volume 8094 of Lecture Notes in Computer Science, pages 33-48. Springer-Verlag, Berlin, 2013.
 
724
M. de Leoni and W.M.P. van der Aalst. Aligning Event Logs and Process Models for Multi-Perspective Conformance Checking: An Approach Based on Integer Linear Programming. In F. Daniel, J. Wang, and B. Weber, editors, International Conference on Business Process Management (BPM 2013), volume 8094 of Lecture Notes in Computer Science, pages 113-129. Springer-Verlag, Berlin, 2013.
 
725
J. Munoz-Gama, J. Carmona, and W.M.P. van der Aalst. Conformance Checking in the Large: Partitioning and Topology. In F. Daniel, J. Wang, and B. Weber, editors, International Conference on Business Process Management (BPM 2013), volume 8094 of Lecture Notes in Computer Science, pages 130-145. Springer-Verlag, Berlin, 2013.
 
726
W.M.P. van der Aalst. Challenges in Service Mining: Record, Check, Discover. In F. Daniel, P. Dolog, and Q. Li, editors, International Conference on Web Engineering (ICWE 2013), volume 7977 of Lecture Notes in Computer Science, pages 1-4. Springer-Verlag, Berlin, 2013.
 
727
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.
 
728
R. Mans and W.M.P. van der Aalst. Supporting the Workflow Management System Development Process with YAWL. In T. Freytag, A. Hense, A. ter Hofstede, and J. Mendling, editors, Proceedings of the First YAWL Symposium (YAWL 2013), volume 982 of CEUR Workshop Proceedings, pages 33-40. CEUR-WS.org, 2013.
 
729
D. Schunselaar, T. van der Avoort, E. Verbeek, and W.M.P. van der Aalst. YAWL in the Cloud. In T. Freytag, A. Hense, A. ter Hofstede, and J. Mendling, editors, Proceedings of the First YAWL Symposium (YAWL 2013), volume 982 of CEUR Workshop Proceedings, pages 41-48. CEUR-WS.org, 2013.
 
730
D. Schunselaar, E. Verbeek, W.M.P. van der Aalst, and H. Reijers. A Framework for Efficiently Deciding Language Inclusion for Sound Unlabelled WF-Nets. In D. Moldt and H. Roelke, editors, Proceedings of the International Workshop on Petri Nets in Software Engineering (PNSE 2013), volume 989 of CEUR Workshop Proceedings, pages 135-154. CEUR-WS.org, 2013.
 
731
E. Verbeek and W.M.P. van der Aalst. Decomposing Replay Problems: A Case Study. In D. Moldt and H. Roelke, editors, Proceedings of the International Workshop on Petri Nets in Software Engineering (PNSE 2013), volume 989 of CEUR Workshop Proceedings, pages 219-235. CEUR-WS.org, 2013.
 
732
J.M. van der Werf, R. Mans, and W.M.P. van der Aalst. Mining Declarative Models Using Time Intervals. In D. Moldt, editor, Proceedings of the International Workshop on Modeling and Business Environments (ModBE 2013), volume 989 of CEUR Workshop Proceedings, pages 313-331. CEUR-WS.org, 2013.
 
733
F.M. Maggi, R.P. Jagadeesh Chandra Bose, and W.M.P. van der Aalst. A Knowledge-Based Integrated Approach for Discovering and Repairing Declare Maps. In C. Salinesi, M.C. Norrie, and O. Pastor, editors, International Conference on Advanced Information Systems Engineering (Caise 2013), volume 7908 of Lecture Notes in Computer Science, pages 433-448. Springer-Verlag, Berlin, 2013.
 
734
R. Conforti, M. de Leoni, M. La Rosa, and W.M.P. van der Aalst. Supporting Risk-Informed Decisions during Business Process Execution. In C. Salinesi, M.C. Norrie, and O. Pastor, editors, International Conference on Advanced Information Systems Engineering (Caise 2013), volume 7908 of Lecture Notes in Computer Science, pages 116-132. Springer-Verlag, Berlin, 2013.
 
735
E. Ramezani Taghiabadi, D. Fahland, B.F. van Dongen, and W.M.P. van der Aalst. Diagnostic Information for Compliance Checking of Temporal Compliance Requirements. In C. Salinesi, M.C. Norrie, and O. Pastor, editors, International Conference on Advanced Information Systems Engineering (Caise 2013), volume 7908 of Lecture Notes in Computer Science, pages 304-320. Springer-Verlag, Berlin, 2013.
 
736
A. Pika, W.M.P. van der Aalst, C.J. Fidge, A.H.M. ter Hofstede, and M.T. Wynn. Profiling Event Logs to Configure Risk Indicators for Process Delays. In C. Salinesi, M.C. Norrie, and O. Pastor, editors, International Conference on Advanced Information Systems Engineering (Caise 2013), volume 7908 of Lecture Notes in Computer Science, pages 465-481. Springer-Verlag, Berlin, 2013.
 
737
W.M.P. van der Aalst and M. Weske. The P2P Approach to Interorganizational Workflows. In J. Bubenko, J. Krogstie, O. Pastor, B. Pernici, C. Rolland, and A. Solvberg, editors, Seminal Contributions to Information Systems Engineering: 25 Years of CAiSE, pages 289-305. Springer-Verlag, Berlin, 2013.
 
738
W.M.P. van der Aalst and M. Weske. Reflections on a Decade of Interorganizational Workflow Research. In J. Bubenko, J. Krogstie, O. Pastor, B. Pernici, C. Rolland, and A. Solvberg, editors, Seminal Contributions to Information Systems Engineering: 25 Years of CAiSE, pages 307-313. Springer-Verlag, Berlin, 2013.
 
739
R. Conforti, M. La Rosa A.H.M. ter Hofstede, M. de Leoni, W.M.P. van der Aalst, and M. Adams. A Software Framework for Risk-Aware Business Process Management. In R. Deneckčre and H.A. Proper, editors, Proceedings of the CAiSE 2013 Forum at the 25th International Conference on Advanced Information Systems Engineering, volume 998 of CEUR Workshop Proceedings, pages 130-137. CEUR-WS.org, 2013.
 
740
A. Rogge-Solti, R.S. Mans, W.M.P. van der Aalst, and M. Weske. Repairing Event Logs Using Timed Process Models. In Y.T. Demey and H. Panetto, editors, OTM 2013 Workshops, volume 8186 of Lecture Notes in Computer Science, pages 705-708. Springer-Verlag, Berlin, 2013. Click here for longer report version.
 
741
M. De Leoni and W.M.P. van der Aalst. Data-Aware Process Mining: Discovering Decisions in Processes Using Alignments. In S.Y. Shin and J.C. Maldonado, editors, ACM Symposium on Applied Computing (SAC 2013), pages 1454-1461. ACM Press, 2013.
 
742
M. Koutny, W.M.P. van der Aalst, and A. Yakovlev, editors. Special Issue of Transactions on Petri Nets and Other Models of Concurrency (ToPNoC VIII), volume 8100 of Lecture Notes in Computer Science. Springer-Verlag, Berlin, 2013.
 
743
W.M.P. van der Aalst. A General Divide and Conquer Approach for Process Mining. In M. Ganzha, L. Maciaszek, and M. Paprzycki, editors, Federated Conference on Computer Science and Information Systems (FedCSIS 2013), pages 1-10. IEEE Computer Society, 2013.
 
744
E. Alves Portela Santos, R. Francisco, M. Pesic, and W.M.P. van der Aalst. Supervisory Control Service for Supporting Flexible Processes. Industrial Management and Data Systems, 113(7):1007-1024, 2013.
 
745
W.M.P. van der Aalst. Process Cubes: Slicing, Dicing, Rolling Up and Drilling Down Event Data for Process Mining. In M. Song, M. Wynn, and J. Liu, editors, Asia Pacific Conference on Business Process Management (AP-BPM 2013), volume 159 of Lecture Notes in Business Information Processing, pages 1-22. Springer-Verlag, Berlin, 2013.
 
746
A. Rogge-Solti, R.S. Mans, and W.M.P. van der Aalst. Improving Documentation by Repairing Event Logs. In J. Grabis, editor, Asia Pacific Conference on Business Process Management (PoEM 2013), volume 165 of Lecture Notes in Business Information Processing, pages 129-144. Springer-Verlag, Berlin, 2013.
 
747
W.M.P. van der Aalst. "Mine your own business": Using Process Mining to Turn Big Data into Real Value. In S. Brinkkemper, R. Batenburg, and J. van Hillegersberg, editors, Proceedings of the 21st European Conference on Information Systems (ECIS 2013), pages 1-9, Utrecht, The Netherlands, 2013. AIS Electronic Library.
 
748
J. Buijs, M. La Rosa, H.A. Reijers, B.F. van Dongen, and W.M.P. van der Aalst. Improving Business Process Models Using Observed Behavior. In P. Cudre-Mauroux, P. Ceravolo, and D. Gasevic, editors, IFIP International Symposium on Data-Driven Process Discovery and Analysis (SIMPDA 2012), volume 162 of Lecture Notes in Business Information Processing, pages 44-59. Springer-Verlag, Berlin, 2013.
 
749
W.M.P. van der Aalst, M. Westergaard, and H.A. Reijers. Beautiful Workflows: A Matter of Taste? In P. Achten and P. Koopman, editors, The Beauty of Functional Code, volume 8106 of Lecture Notes in Artificial Intelligence, pages 211-233. Springer-Verlag, Berlin, 2013.
 
750
C. Stahl and W.M.P. van der Aalst. Behavioral Service Substitution. In A. Bouguettaya, Q. Sheng, and F. Daniel, editors, Web Services Foundations, pages 215-244. Springer-Verlag, Berlin, 2014.
 
751
W.M.P. van der Aalst. Desire Lines in Big Data. In R. Alhajj and J. Rokne, editors, Encyclopedia of Social Network Analysis and Mining, Springer-Verlag, Berlin, 2014.
 
752
W.M.P. van der Aalst. Service Mining: Using Process Mining to Discover, Check, and Improve Service Behavior. IEEE Transactions on Services Computing, 2013.
 

Click here for full list, recent publications, 2012, 2011, 2010, 2009, 2008, 2007, 2006, 2005, 2000-2004, before 2000.

 

 

     

Home | About Me | Contact Me | Publications | Courses | Process Mining | Business Process Management | Workflow Management | Petri Nets | Links | Personal

This site was last updated 05/26/14