|
|
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 Scholar,
SiteCeer
(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
-
R.P. Jagadeesh Chandra Bose and W.M.P. van der Aalst.
Discovering Signature Patterns from Event Logs.
In B. Hammer, Z.H. Zhou, L. Wang, and N. Chawla, editors, IEEE
Symposium on Computational Intelligence and Data Mining (CIDM 2013), pages
111-118, Singapore, 2013. IEEE.
- 751
-
R.P. Jagadeesh Chandra Bose, R. Mans, and W.M.P. van der Aalst.
Wanna Improve Process Mining Results? It's High Time We Consider
Data Quality Issues Seriously.
In B. Hammer, Z.H. Zhou, L. Wang, and N. Chawla, editors, IEEE
Symposium on Computational Intelligence and Data Mining (CIDM 2013), pages
127-134, Singapore, 2013. IEEE.
- 752
-
R. Müller, C. Stahl, W.M.P. van der Aalst, and M. Westergaard.
Service Discovery from Observed Behavior while Guaranteeing Deadlock
Freedom in Collaborations.
In S. Basu, C. Pautasso, L. Zhang, and X. Fu, editors,
International Conference on Service-Oriented Computing (ICSOC 2013),
volume 8274 of Lecture Notes in Computer Science, pages 358-373.
Springer-Verlag, Berlin, 2013.
- 753
-
M.T. Wynn, H.A. Reijers, M. Adams, C. Ouyang, A.H.M. ter Hofstede, W.M.P.
van der Aalst, M. Rosemann, and Z. Hoque.
Cost-Informed Operational Process Support.
In W. Ng, V., Storey, and J. Trujillo., editors, International
Conference on Conceptual Modeling (ER 2013), volume 8217 of Lecture
Notes in Computer Science, pages 174-181. Springer-Verlag, Berlin, 2013.
- 754
-
Moe Wynn, Jochen De Weerdt, A. ter Hofstede, W.M.P. van der Aalst,
H. Reijers, M. Adams, C. Ouyang, M. Rosemann, and W.Z. Low.
Cost-Aware Business Process Management: A Research Agenda.
In H.Deng and C. Standing, editors, Proceedings of the 24th
Australasian Conference on Information Systems (ACIS'2013), pages 1-10,
Melbourne, Australia, December 2013. Australasian Chapter of the Association
for Information Systems.
- 755
-
L.T. Ly, F.M. Maggi, M. Montali, S. Rinderle-Ma, and W.M.P. van der Aalst.
A Framework for the Systematic Comparison and Evaluation of
Compliance Monitoring Approaches.
In D. Gasevi, M. Hatala, H.R. Motahari-Nezhad, and M. Reichert,
editors, IEEE International Enterprise Distributed Object Computing
Conference (EDOC 2013), pages 7-16. IEEE Computer Society, 2013.
- 756
-
W.M.P. van der Aalst.
Passages in Graphs. CoRR, abs/1304.1000, 2013.
- 757
-
W.M.P. van der Aalst.
Process Mining Is Ontbrekende Schakel. Automatisering Gids, pages 26-27, July 2013.
- 758
-
W.M.P. van der Aalst.
Olifantenpaden in Data.
In Het Beste Idee van 2013, pages 20-22. Uitgeverij De
Wereld, 2013.
- 759
-
M. Montali, F.M. Maggi, F. Chesani, P. Mello, and W.M.P. van der Aals.
Monitoring Business Constraints with the Event Calculus. ACM Transactions on Intelligent Systems and Technology (AMC
TIST), 5(1):17:1-17:30, 2013.
- 760
-
E. Ramezani, D. Fahland, and W.M.P. van der Aalst.
Supporting Domain Experts to Select and Configure Precise Compliance
Rules.
In N. Lohmann, M. Song, and P. Wohed, editors, Business Process
Management Workshops, Workshop on Security in Business Processes (SBP
2013), volume 171 of Lecture Notes in Business Information
Processing, pages 498-512. Springer-Verlag, Berlin, 2014.
- 761
-
S.J.J. Leemans, D. Fahland, and W.M.P. van der Aalst.
Discovering Block-Structured Process Models from Event Logs
Containing Infrequent Behaviour.
In N. Lohmann, M. Song, and P. Wohed, editors, Business Process
Management Workshops, International Workshop on Business Process Intelligence
(BPI 2013), volume 171 of Lecture Notes in Business Information
Processing, pages 66-78. Springer-Verlag, Berlin, 2014.
- 762
-
A. Rogge-Solti, W.M.P. van der Aalst, and M. Weske.
Discovering Stochastic Petri Nets with Arbitrary Delay Distributions
from Event Logs.
In N. Lohmann, M. Song, and P. Wohed, editors, Business Process
Management Workshops, International Workshop on Business Process Intelligence
(BPI 2013), volume 171 of Lecture Notes in Business Information
Processing, pages 15-27. Springer-Verlag, Berlin, 2014.
- 763
-
J.C.A.M. Buijs, B.F. van Dongen, and W.M.P. van der Aalst.
Discovering and Navigating a Collection of Process Models Using
Multiple Quality Dimensions.
In N. Lohmann, M. Song, and P. Wohed, editors, Business Process
Management Workshops, International Workshop on Business Process Intelligence
(BPI 2013), volume 171 of Lecture Notes in Business Information
Processing, pages 3-14. Springer-Verlag, Berlin, 2014.
- 764
-
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.
- 765
-
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, pages 351-364. Springer-Verlag, Berlin, 2014.
- 766
-
W.M.P. van der Aalst.
Service Mining: Using Process Mining to Discover, Check, and Improve
Service Behavior. IEEE Transactions on Services Computing, 6(4):525-535, 2013.
- 767
-
R.P. Jagadeesh Chandra Bose, W.M.P. van der Aalst, I. Zliobaite, and
M. Pechenizkiy.
Dealing With Concept Drifts in Process Mining. IEEE Transactions on Neural Networks and Learning Systems,
25(1):154-171, 2014.
- 768
-
R. Accorsi, E. Damiani, and W. van der Aalst.
Unleashing Operational Process Mining (Dagstuhl Seminar 13481). Dagstuhl Reports, 3(11):154-192, 2014.
- 769
-
W.M.P. van der Aalst.
Data Scientist: The Engineer of the Future.
In K. Mertins, F. Benaben, R. Poler, and J. Bourrieres, editors,
Proceedings of the I-ESA Conference, volume 7 of Enterprise
Interoperability, pages 13-28. Springer-Verlag, Berlin, 2014.
- 770
-
A.A. Kalenkova, I.A. Lomazova, and W.M.P. van der Aalst. Process Model Discovery: A Method Based on Transition System
Decomposition.
In G. Ciardo and E. Kindler, editors, Applications and Theory
of Petri Nets 2014, volume 8489 of Lecture Notes in Computer Science,
pages 71-90. Springer-Verlag, Berlin, 2014.
- 771
-
S.J.J. Leemans, D. Fahland, and W.M.P. van der Aalst.
Discovering Block-structured Process Models from Incomplete Event
Logs.
In G. Ciardo and E. Kindler, editors, Applications and Theory
of Petri Nets 2014, volume 8489 of Lecture Notes in Computer Science,
pages 91-110. Springer-Verlag, Berlin, 2014.
- 772
-
A. Pika, M.T. Wynn, C.J. Fidge, A.H.M. ter Hofstede, M. Leyer, and W.M.P.
van der Aalst.
An Extensible Framework for Analysing Resource Behaviour Using Event
Logs.
In M. Jarke, editor, International Conference on Advanced
Information Systems Engineering (Caise 2014), volume 8484 of Lecture
Notes in Computer Science, pages 564-579. Springer-Verlag, Berlin, 2014.
- 773
-
W.M.P. van der Aalst, S. Guo, and P. Gorissen.
Comparative Process Mining in Education: An Approach Based on
Process Cubes.
In J.J. Lesage, J.M. Faure, J. Cury, and B. Lennartson, editors,
12th IFAC International Workshop on Discrete Event Systems (WODES 2014),
IFAC Series, pages PL1.1-PL1.9. IEEE Computer Society, 2014.
- 774
-
W.M.P. van der Aalst.
Geschäftsprozessmodellierung: Die "Killer-Applikation" für
Petrinetze. Informatik-Spektrum, 37(3):191-198, 2014.
- 775
-
W.M.P. van der Aalst. Process Mining in the Large: A Tutorial.
In E. Zimanyi, editor, Business Intelligence (eBISS 2013),
volume 172 of Lecture Notes in Business Information Processing, pages
33-76. Springer-Verlag, Berlin, 2014.
- 776
-
D. Schunselaar, E. Verbeek, W.M.P. van der Aalst, and H. Reijers.
Petra: A tool for Analysing a Process Family.
In D. Moldt and H. Roelke, editors, Proceedings of the
International Workshop on Petri Nets in Software Engineering (PNSE 2014),
volume 1160 of CEUR Workshop Proceedings, pages 269-288. CEUR-WS.org,
2014.
- 777
-
V. Rubin, I.A. Lomazova, and W.M.P. van der Aalst.
Agile Development with Software Process Mining.
In Proceedings of the 2014 International Conference on Software
and System Process (ICSSP 2014), pages 70-74. ACM Press, New York, NY,
USA, 2014.
- 778
-
W.M.P. van der Aalst.
Preface.
In R. Ramanathan and K. Raja, editors, Handbook of Research on
Architectural Trends in Service-Driven Computing, pages 1-2. IGI Global,
2014.
- 779
-
V. Rubin, A. Mitsyuk, I. Lomazova, and W.M.P. van der Aalst.
Process Mining Can Be Applied to Software Too! In M. Morisio, editor, Proceedings of the 8th ACM/IEEE
International Symposium on Empirical Software Engineering and Measurement
(ESEM '14), pages 57:1-57:8, New York, NY, USA, 2014. ACM.
- 780
-
W.M.P. van der Aalst and F. van Geffen, editors.
Special issue of Informatie on Process Mining, Informatie,
June 2014. (7 process mining papers, also see August Issue with 3 more process mining papers.)
- 781
-
W.M.P. van der Aalst and F. van Geffen.
De ontbrekende schakel tussen BI en BPM. Informatie, pages 10-13, July 2014.
- 782
-
W.M.P. van der Aalst.
Datascientist: Beroep van de 21e eeuw. Automatisering Gids, pages 24-25, Feb 2014.
- 783
-
W.M.P. van der Aalst.
Leren van Positieve Afwijkingen.
In Het Beste Idee van 2014, pages 85-88. Uitgeverij De
Wereld, 2014.
- 784
-
W.M.P. van der Aalst.
How People Really (Like To) Work: Comparative Process Mining To
Unravel Human Behavior.
In S. Sauer, C. Bogdan, P. Forbrig, R. Bernhaupt, and M. Winckler,
editors, International Conference on Human-Centered Software
Engineering (HCSE 2014), volume 8742 of Lecture Notes in Computer
Science, pages 317-321. Springer-Verlag, Berlin, 2014.
- 785
-
W.M.P. van der Aalst.
Brandstof voor de toekomst.
Computable, pages 28-29, Feb 2014.
- 786
-
W.M.P. van der Aalst.
No Knowledge Without Processes: Process Mining as a Tool to Find Out
What People and Organizations Really Do.
In A. Fred, J. Filipe, J.Filipe, J. Dietz, D. Aveiro, and K. Liu,
editors, Proceedings of the International Joint Conference on Knowledge
Discovery, Knowledge Engineering and Knowledge Managemengt (IC3K 2014),
pages 11-16, Rome, October 2014. Scitepress.
- 787
-
M. de Leoni and W.M.P. van der Aalst.
The FeaturePrediction Package in ProM: Correlating Business Process
Characteristics.
In L. Limonad and B. Weber, editors, Business Process Management
Demo Sessions (BPMD 2014), volume 1295 of CEUR Workshop Proceedings,
pages 26-30. CEUR-WS.org, 2014.
- 788
-
A. Kalenkova, M. de Leoni, and W.M.P. van der Aalst.
Discovering, Analyzing and Enhancing BPMN Models Using ProM.
In L. Limonad and B. Weber, editors, Business Process Management
Demo Sessions (BPMD 2014), volume 1295 of CEUR Workshop Proceedings,
pages 36-40. CEUR-WS.org, 2014.
- 789
-
S.J.J. Leemans, D. Fahland, and W.M.P. van der Aalst.
Process and Deviation Exploration with Inductive Visual Miner.
In L. Limonad and B. Weber, editors, Business Process Management
Demo Sessions (BPMD 2014), volume 1295 of CEUR Workshop Proceedings,
pages 46-50. CEUR-WS.org, 2014.
- 790
-
R. Mans, W.M.P. van der Aalst, and E. Verbeek.
Supporting Process Mining Workflows with RapidProM.
In L. Limonad and B. Weber, editors, Business Process Management
Demo Sessions (BPMD 2014), volume 1295 of CEUR Workshop Proceedings,
pages 56-60. CEUR-WS.org, 2014.
- 791
-
B. Hompes, E. Verbeek, and W.M.P. van der Aalst.
Finding Suitable Activity Clusters for Decomposed Process
Discovery.
In R. Accorsi, P. Ceravolo, and B. Russo, editors, Proceedings
of the 4th International Symposium on Data-driven Process Discovery and
Analysis (SIMPDA 2014), volume 1293 of CEUR Workshop Proceedings,
pages 16-30. CEUR-WS.org, 2014.
- 792
-
M. Leemans and W.M.P. van der Aalst.
Discovery of Frequent Episodes in Event Logs.
In R. Accorsi, P. Ceravolo, and B. Russo, editors, Proceedings
of the 4th International Symposium on Data-driven Process Discovery and
Analysis (SIMPDA 2014), volume 1293 of CEUR Workshop Proceedings,
pages 31-45. CEUR-WS.org, 2014.
- 793
-
D. Schunselaar, E. Verbeek, H.A. Reijers, and W.M.P. van der Aalst.
Using Monotonicity to Find Optimal Process Configurations Faster.
In R. Accorsi, P. Ceravolo, and B. Russo, editors, Proceedings
of the 4th International Symposium on Data-driven Process Discovery and
Analysis (SIMPDA 2014), volume 1293 of CEUR Workshop Proceedings,
pages 123-137. CEUR-WS.org, 2014.
- 794
-
W.M.P. van der Aalst, M. La Rosa, A.H.M. ter Hofstede, and M.T. Wynn.
Liquid Business Process Model Collections.
In D. Gianni, A. D'Ambrogio, and A. Tolk, editors, Modeling and
Simulation-Based Systems Engineering Handbook, pages 401-421. CRC Press,
2014.
- 795
-
M. de Leoni, W.M.P. van der Aalst, and M. Dees.
A General Framework for Correlating Business Process
Characteristics.
In S. Sadiq, P. Soffer, and H. Voelzer, editors, International
Conference on Business Process Management (BPM 2014), volume 8659 of
Lecture Notes in Computer Science, pages 250-266. Springer-Verlag, Berlin,
2014.
- 796
-
E. Ramezani Taghiabadi, Vladimir Gromov, Dirk Fahland, and W.M.P. van der
Aalst.
Compliance Checking of Data-Aware and Resource-Aware Compliance
Requirements.
In M. Missikoff, L. Liu, and O. Pastor, editors, OTM Conference
on Cooperative Information Systems (CoopIS 2014), volume 8841 of
Lecture Notes in Computer Science, pages 237-257. Springer-Verlag, Berlin,
2014.
- 797
-
M. de Leoni, J. Munoz-Gama, J. Carmona, and W.M.P. van der Aalst.
Decomposing Alignment-Based Conformance Checking of Data-Aware
Process Models.
In M. Missikoff, L. Liu, and O. Pastor, editors, OTM Conference
on Cooperative Information Systems (CoopIS 2014), volume 8841 of
Lecture Notes in Computer Science, pages 3-20. Springer-Verlag, Berlin,
2014.
- 798
-
W.M.P. van der Aalst.
Process Mining as the Superglue Between Data Science and Enterprise
Computing.
In M. Reichert, Stefanie Rinderle-Ma, and G. Grossmann, editors,
IEEE International Enterprise Distributed Object Computing Conference (EDOC
2014), pages 1-1. IEEE Computer Society, 2014.
- 799
-
W.Z. Low, J. De Weerdt, M.T. Wynn, A.H.M. ter Hofstede, W.M.P. van der
Aalst, and S.K.L.M. vanden Broucke.
Perturbing Event logs to Identify Cost Reduction Opportunities: A
Genetic Algorithm-Based Approach.
In IEEE Congress on Evolutionary Computation (CEC 2014),
pages 2428-2435. IEEE Computer Society, 2014.
- 800
-
A. Burattin, A. Sperduti, and W.M.P. van der Aalst.
Control-Flow Discovery from Event Streams.
In IEEE Congress on Evolutionary Computation (CEC 2014),
pages 2420-2427. IEEE Computer Society, 2014.
- 801
-
J.C.A.M. Buijs, B.F. van Dongen, and W.M.P. van der Aalst.
Quality Dimensions in Process Discovery: The Importance of Fitness,
Precision, Generalization and Simplicity. International Journal of Cooperative Information Systems,
23(1):1-39, 2014.
- 802
-
W.M.P. van der Aalst and H.M.W. Verbeek.
Process Discovery and Conformance Checking Using Passages. Fundamenta Informaticae, 131(1):103-138, 2014.
- 803
-
W.M.P. van der Aalst, M. La Rosa, and F.M. Santora.
BPM Use Cases – Structuring the Business Process Management
Discipline.
Software and Systems Modeling, 6(5):309-310, 2014.
- 804
-
X. Lu, R.S. Mans, D. Fahland, and W.M.P. van der Aalst.
Conformance Checking in Healthcare Based on Partially Ordered Event
Data.
In A. Grau and R. Zurawski, editors, IEEE Emerging Technology
and Factory Automation (ETFA 2014), pages 1-8. IEEE Computer Society,
2014.
- 805
-
J. Munoz-Gama, J. Carmona, and W.M.P. van der Aalst.
Single-Entry Single-Exit Decomposed Conformance Checking. Information Systems, 46:102-122, December 2014.
- 806
-
X. Lu, D. Fahland, and W.M.P. van der Aalst.
Conformance Checking Based on Partially Ordered Event Data.
In F. Fournier and J. Mendling, editors, Business Process
Management Workshops, International Workshop on Business Process Intelligence
(BPI 2014), Lecture Notes in Business Information
Processing, Springer-Verlag, Berlin, 2015.
- 807
-
D. Schunselaar, H. Leopold, H.M.W. Verbeek, W.M.P. van der Aalst, and H.A.
Reijers.
Configuring Configurable Process Models Made Easier: An Automated
Approach.
In F. Fournier and J. Mendling, editors, Business Process
Management Workshops, International Workshop on Process Model Collections:
Management and Reuse (PMC-MR), Lecture Notes in
Business Information Processing, Springer-Verlag, Berlin,
2015.
- 808
-
H.M.W. Verbeek and W.M.P. van der Aalst.
Decomposed Process Mining: The ILP Case.
In F. Fournier and J. Mendling, editors, Business Process
Management Workshops, International Workshop on Business Process Intelligence
(BPI 2014), of Lecture Notes in Business Information
Processing, Springer-Verlag, Berlin, 2015.
- 809
-
S. Leemans, D. Fahland, and W.M.P. van der Aalst.
Exploring Processes and Deviations.
In F. Fournier and J. Mendling, editors, Business Process
Management Workshops, International Workshop on Business Process Intelligence
(BPI 2014), Lecture Notes in Business Information
Processing, Springer-Verlag, Berlin, 2015.
- 810
-
D. Schunselaar, H.M.W. Verbeek, H.A. Reijers, and W.M.P. van der Aalst.
YAWL in the Cloud: Supporting Process Sharing and Variability.
In F. Fournier and J. Mendling, editors, Business Process
Management Workshops, International Workshop on Business Process Management
in the Cloud (BPMC 2014), Lecture Notes in Business
Information Processing, Springer-Verlag, Berlin, 2015.
- 811
-
M. de Leoni, F.M. Maggi, and W.M.P. van der Aalst.
An Alignment-Based Framework to Check the Conformance of Declarative
Process Models and to Preprocess Event-Log Data. Information Systems, 47:258-277, January 2015.
- 812
-
D. Fahland and W.M.P. van der Aalst.
Model Repair: Aligning Process Models to Reality. Information Systems, 47:220-243, January 2015.
- 813
-
W.M.P. van der Aalst.
Business Process Simulation Survival Guide.
In J. vom Brocke and M. Rosemann, editors, Handbook on
Business Process Management 1, International Handbooks on Information
Systems, pages 337-370. Springer-Verlag, Berlin, 2015.
- 814
-
W.M.P. van der Aalst.
Extracting Event Data from Databases to Unleash Process Mining.
In J. Vom Brocke and T. Schmiedel, editors, Business Process
Management Roundtable 2014, Springer-Verlag, Berlin, 2015.
- 815
-
W.M.P. van der Aalst.
Business Process Management as the "Killer App" for Petri Nets. Software and Systems Modeling, 2015.
- 816
-
A. Adriansyah, J. Munoz-Gama, J. Carmona, B.F. van Dongen, and W.M.P. van
der Aalst.
Measuring Precision of Modeled Behavior. Information Systems and e-Business Management, 2015.
- 817
-
M. de Leoni, S. Suriadi, A.H.M. ter Hofstede, and W.M.P. van der Aalst.
Turning Event Logs Into Process Movies: Animating What Has Really
Happened.
Software and Systems Modeling, 2015.
Click here for full list,
recent publications,
2012,
2011,
2010, 2009,
2008,
2007,
2006, 2005,
2000-2004,
before 2000.
-
|
