BPM Center Reports

During the years 2000 to 2017 important breakthroughs were published as BPM Center Reports. The BPM Center, at the time, was a collaboration between Eindhoven University of Technology (TU/e) and Queensland University of Technology (QUT).

2017

A. Bolt, W.M.P. van der Aalst, M. de Leoni,
Finding Process Variants in Event Logs (PDF), BPM Center Report BPM-17-04, BPMCenter.org, 2017.

A. Syamsiyah, B. F. van Dongen, W.M.P. van der Aalst,
Recurrent Process Mining on Procedural and Declarative Approaches (PDF), BPM Center Report BPM-17-03, BPMCenter.org, 2017.

M. de Leoni, M. Marrella,
Aligning Real Process Executions and Prescriptive Process Models through Automated Planning (PDF), BPM Center Report BPM-17-02, BPMCenter.org, 2017.

X. Lu, D. Fahland, R. Andrews, S. Suriadi, M. T. Wynn, A. H.M. ter Hofstede, W.M.P. van der Aalst.
Semi-Supervised Log Pattern Detection and Exploration Using Event Concurrence and Contextual Information (Extended Version) (PDF). BPM Center Report BPM-17-01, BPMCenter.org, 2017.

2016

N. Assy, M. Leemans (Editors).
BSR winter school Big Software on the Run: Where Software meets Data. Tutorials & Poster abstracts (PDF). BPM Center Report BPM-16-10, BPMCenter.org, 2016

A. A. Kalenkova, A. Burattin, M. de Leoni, W. M. P. van der Aalst, A. Sperduti.
Discovering High-level BPMN Process Models from Event Data (PDF). BPM Center Report BPM-16-09, BPMCenter.org, 2016

H.M.W. Verbeek, F. Mannhardt,
The DrFurby Classifier submission to the Process Discovery Contest @ BPM 2016 (PDF). BPM Center Report BPM-16-08, BPMCenter.org, 2016

H. Nguyen, M. Dumas, M. La Rosa, F.M. Maggi, S. Suriadi,
Business Process Deviance Mining: Review and Evaluation (PDF). BPM Center Report BPM-16-07, BPMCenter.org, 2016

H.M.W. Verbeek, W.M.P. van der Aalst, J. Munoz-Gama,
Divide and Conquer (PDF). BPM Center Report BPM-16-06, BPMCenter.org, 2016

D. Fahland, H. Völzer,
Dynamic Skipping and Blocking and Dead Path Elimination for Cyclic Workflows (PDF). BPM Center Report BPM-16-05, BPMCenter.org, 2016

F. Mannhardt,
ESLite – Managing Large XES Event Logs in ProM (PDF). BPM Center Report BPM-16-04, BPMCenter.org, 2016

S.J.J. Leemans, D. Fahland, W.M.P. van der Aalst,
Scalable Process Discovery and Conformance Checking (PDF). BPM Center Report BPM-16-03, BPMcenter.org, 2016

F. Mannhardt, M. de Leoni, H. A. Reijers, W.M.P. van der Aalst, P. J. Toussaint.
From Low-Level Events to Activities – A Pattern-based Approach (PDF). BPM Center Report BPM-16-02, BPMcenter.org, 2016

F. Mannhardt, M. de Leoni, H. A. Reijers, W.M.P. van der Aalst.
Decision Mining Revisited – Discovering Overlapping Rules (PDF). BPM Center Report BPM-16-01, BPMcenter.org, 2016

2015

L. Garcia-Banuelos, N.R.T.P. van Beest, M. Dumas, M. La Rosa.
Complete and Interpretable Conformance Checking of Business Processes (PDF). BPM Center Report BPM-15-14, BPMcenter.org, 2015

R. Conforti, M. La Rosa, A.H.M. ter Hofstede.
Filtering out Infrequent Behavior from Process Event Logs (PDF). BPM Center Report BPM-15-13, BPMcenter.org, 2015

H. Nguyen, M. Dumas, A.H.M. ter Hofstede, M. La Rosa, F.M. Maggi.
Business Process Performance Mining with Staged Process Flows (PDF). BPM Center Report BPM-15-12, BPMcenter.org, 2015

I. Verenich, M. Dumas, M. La Rosa, F.M. Maggi, C. Di Francescomarino.
Minimizing Overprocessing Waste in Business Processes via Predictive Activity Ordering (PDF). BPM Center Report BPM-15-11, BPMcenter.org, 2015

P. Mukala, J. Buijs, M. Leemans, W.M.P. van der Aalst.
Exploring Students’ Learning Behaviour in MOOCs using Process Mining Techniques (PDF). BPM Center Report BPM-15-10, BPMcenter.org, 2015

P. Mukala, J. Buijs, W.M.P. van der Aalst.
Uncovering Learning Patterns in a MOOC through Conformance Alignments (PDF). BPM Center Report BPM-15-09, BPMcenter.org, 2015

X. Lu, M. Nagelkerke, D. van de Wiel, D. Fahland.
Discovering Interacting Artifacts from ERP Systems (Extended Version) (PDF). BPM Center Report BPM-15-08, BPMcenter.org, 2015

S. Y. Ivanov, A. A. Kalenkova, W. M.P. van der Aalst.
BPMNDiffViz: A Tool for BPMN Models Comparison (PDF). BPM Center Report BPM-15-07, BPMcenter.org, 2015

A. Polyvyanyy, A.H.M. ter Hofstede, M. La Rosa, C. Ouyang.
Process Query Language: Design, implementation and evaluation (PDF). BPM Center Report BPM-15-06, BPMcenter.org, 2015

D. M. M. Schunselaar, H. M. W. Verbeek, H. A. Reijers, W. M. P. van der Aalst.
A Structural Model Comparison for finding the Best Performing Models in a Collection (PDF). BPM Center Report BPM-15-05, BPMcenter.org, 2015

S.J. van Zelst, B.F. van Dongen, W. M. P. van der Aalst.
Filter Techniques for Region-Based Process Discovery (PDF). BPM Center Report BPM-15-04, BPMcenter.org, 2015

A. Bolt, M. de Leoni, W. M. P. van der Aalst.
Scientific Workflows for Process Mining: Building Blocks, Scenarios, and Implementation (PDF). BPM Center Report BPM-15-03, BPMcenter.org, 2015

B.F. van Dongen and S. Shabani.
Relational XES: Data Management for Process Mining (PDF). BPM Center Report BPM-15-02, BPMcenter.org, 2015

A.A. Kalenkova, W. M. P. van der Aalst, I.A. Lomazova, and V.A. Rubin.
Process Mining Using BPMN: Relating Event Logs and Process Models (PDF). BPM Center Report BPM-15-01, BPMcenter.org, 2015

2014

M. Rovani, F. M. Maggi, M. de Leoni, W.M.P. van der Aalst, R.M. Mans, A. Pepino.
Declarative Process Mining in Healthcare (PDF). BPM Center Report BPM-14-11, BPMcenter.org, 2014

W.M.P van der Aalst.
Extracting Event Data from Databases to Unleash Process Mining (PDF). BPM Center Report BPM-14-10, BPMcenter.org, 2014

C. W. Günther and H.M.W. (Eric) Verbeek,
XES – Standard Definition (PDF). BPM Center Report BPM-14-09, BPMcenter.org, 2014

M. de Leoni, W.M.P. van der Aalst, M. Dees,
A General Framework for Correlating Business Process Characteristics (PDF). BPM Center Report BPM-14-08, BPMcenter.org, 2014

F. Mannhardt, M. de Leoni, H.A Reijers, W.M.P. van der Aalst,
Balanced Multi-Perspective Checking of Process Conformance (PDF). BPM Center Report BPM-14-07, BPMcenter.org, 2014

M. de Leoni, J. Munoz-Gama, J. Carmona, W.M.P. van der Aalst,
Decomposing Conformance Checking on Petri Nets with Data (PDF). BPM Center Report BPM-14-06, BPMcenter.org, 2014

S.J.J Leemans, D. Fahland, W.M.P. van der Aalst,
Discovering Block-Structured Process Models from Incomplete Event Logs (PDF). BPM Center Report BPM-14-05, BPMcenter.org, 2014

R. Conforti, M. de Leoni, M. La Rosa, W.M.P. van der Aalst, A.H.M. ter Hofstede,
A Recommendation System for Predicting Risks across Multiple Business Process Instances (PDF). BPM Center Report BPM-14-04, BPMcenter.org, 2014

M. La Rosa, M. Dumas, C.C. Ekanayake, L. Garcia-Banuelos, J. Recker, A.H.M. ter Hofstede,
Detecting Approximate Clones in Business Process Models (PDF). BPM Center Report BPM-14-03, BPMcenter.org, 2014

L. Garcia-Banuelos, M. Dumas, M. La Rosa, J. De Weerdt, C.C. Ekanayake,
Controlled Automated Discovery of Collections of Business Process Models (PDF). BPM Center Report BPM-14-02, BPMcenter.org, 2014

D.M.M. Schunselaar, H.M.W Verbeek, W.M.P. van der Aalst, and H.A. Reijers.,
Petra: Process model based Extensible Toolset for Redesign and Analysis (PDF). BPM Center Report BPM-14-01, BPMcenter.org, 2014

2013

W.M.P. van der Aalst,
Data Scientist: The Engineer of the Future (PDF). BPM Center Report BPM-13-30, BPMcenter.org, 2013

A. Meyer, L. Pufahl, K. Batoulis, S. Kruse, T. Lindhauer, T. Stoff, D. Fahland, M. Weske,
Data Perspective in Process Choreographies: Modeling and Execution (PDF). BPM Center Report BPM-13-29, BPMcenter.org, 2013

M. Westergaard, C. Stahl, H.A. Reijers,
UnconstrainedMiner: Efficient Discovery of Generalized Declarative Process Models (PDF). BPM Center Report BPM-13-28, BPMcenter.org, 2013

A Polyvyanyy, M. Weidlich, R. Conforti, M. La Rosa, A.H.M. ter Hofstede,
The 4C Spectrum of Fundamental Behavioral Relations for Concurrent Systems (PDF). BPM Center Report BPM-13-27, BPMcenter.org, 2013

R.S. Mans, W.M.P. van der Aalst, Rob J.B. Vanwersch.
Process Mining in Healthcare Opportunities Beyond the Ordinary (PDF). BPM Center Report BPM-13-26, BPMcenter.org, 2013

M. Westergaard and B. F. van Dongen,
KeyValueSets: Event Logs Revisited (PDF). BPM Center Report BPM-13-25, BPMcenter.org, 2013

M. Westergaard and H.M.W. Verbeek,
Efficient Implementation of Simulation of Prioritized Transitions for High-level Petri Nets (PDF). BPM Center Report BPM-13-24, BPMcenter.org, 2013

W.M.P. van der Aalst,
Process Cubes: Slicing, Dicing, Rolling Up and Drilling Down Event Data for Process Mining (PDF). BPM Center Report BPM-13-23, BPMcenter.org, 2013

W.M.P. van der Aalst,
A General Divide and Conquer Approach for Process Mining (PDF). BPM Center Report BPM-13-22, BPMcenter.org, 2013

W.M.P. van der Aalst,
Mediating Between Modeled and Observed Behavior: The Quest for the “Right” Process (PDF). BPM Center Report BPM-13-21, BPMcenter.org, 2013

W.M.P. van der Aalst,
“Mine your own business”: Using Process Mining to Turn Big Data into Real Value (PDF). BPM Center Report BPM-13-20, BPMcenter.org, 2013

R. Müller, C. Stahl, W. Vogler,
Undecidability of accordance for open systems with unbounded message queues (PDF). BPM Center Report BPM-13-19, BPMcenter.org, 2013

A. Polyvyanyy, M. La Rosa, A.H.M. ter Hofstede.
Indexing and Efficient Instance-based Retrieval of Process Models Using Untanglings (PDF). BPM Center Report BPM-13-18, BPMcenter.org, 2013

A. Polyvyanyy, M. La Rosa, C. Ouyang, A.H.M. ter Hofstede.
Untangling: A Novel Approach to Analyzing Concurrent Systems (PDF). BPM Center Report BPM-13-17, BPMcenter.org, 2013

M. La Rosa, W.M.P. van der Aalst, M. Dumas, F.P. Milani,
Business Process Variability Modeling: A Survey (PDF). BPM Center Report BPM-13-16, BPMcenter.org, 2013

M. de Leoni. S. Suriadi, A. H. M. ter Hofstde, W.M.P. van der Aalst,
Turning Event Logs into Process Movies: Animating What Has Really Happened (PDF), BPM Center Report BPM-13-15, BPMcenter.org, 2013

W. Vogler, C. Stahl, R. Müller,
Trace- and Failure-Based Semantics for Responsiveness (PDF), BPM Center Report BPM-13-14, BPMcenter.org, 2013

R.P.J.C Bose, W. M. P. van der Aalst, I. Zliobaite, M. Pechenizkiy.
Dealing With Concept Drifts in Process Mining: A Case Study in a Dutch Municipality (PDF). BPM Center Report BPM-13-13, BPMcenter.org, 2013

R. Müller, C. Stahl, W. M. P. van der Aalst, M. Westergaard.
Service Discovery from Observed Behavior While Guaranteeing Deadlock Freedom in Collaborations (PDF). BPM Center Report BPM-13-12, BPMcenter.org, 2013

W.M.P. van der Aalst.
Business Process Simulation Survival Guide (PDF). BPM Center Report BPM-13-11, BPMcenter.org, 2013

J. Munoz-Gama, J. Carmona, and W.M.P. van der Aalst.
Conformance Checking in the Large: Partitioning and Topology (PDF). BPM Center Report BPM-13-10, BPMcenter.org, 2013

H.M.W. Verbeek and W.M.P. van der Aalst.
Decomposing Replay Problems: A Case Study (PDF). BPM Center Report BPM-13-09, BPMcenter.org, 2013

R. Mans, H. Reijers, D. Wismeijer, M. van Genuchten.
A Process-oriented Methodology for Evaluating the Impact of IT: a Proposal and an Application in Healthcare (PDF). BPM Center Report BPM-13-08, BPMcenter.org, 2013

C. Stahl, D. Weinberg, K.Wolf.
Characterizing Weakly Terminating Partners of Open Systems (PDF). BPM Center Report BPM-13-07, BPMcenter.org, 2013

S.J.J. Leemans, D. Fahland, W.M.P. van der Aalst.
Discovering Block-Structured Process Models From Event Logs – A Constructive Approach (PDF). BPM Center Report BPM-13-06, BPMcenter.org, 2013

M. de Leoni, W.M.P. van der Aalst.
Aligning Event Logs and Process Models for Multi-Perspective Conformance Checking: An Approach Based on Integer Linear Programming (Extended Version) (PDF). BPM Center Report BPM-13-05, BPMcenter.org, 2013

M.T. Wynn, H.A. Reijers, M. Adams, C. Ouyang, A.H M. ter Hofstede, W.M.P. van der Aalst, M. Rosemann, Z. Hoque.
Towards Cost-Informed Operational Process Support (PDF). BPM Center Report BPM-13-04, BPMcenter.org, 2013

A. Adriansyah, B.F. van Dongen, W.M.P. van der Aalst.
Memory-Efficient Alignment of Observed and Modeled Behavior (PDF). BPM Center Report BPM-13-03, BPMcenter.org, 2013

R.P. Jagadeesh Chandra Bose, Ronny S. Mans, Wil M.P. van der Aalst.
Wanna Improve Process Mining Results? It’s High Time We Consider Data Quality Issues Seriously (PDF). BPM Center Report BPM-13-02, BPMcenter.org, 2013

A. Polyvyanyy, M. La Rosa, C. Ouyang, A.H.M. ter Hofstede.
Untangling Concurrent Systems for Analysis of Behavioral Properties (PDF). BPM Center Report BPM-13-01, BPMcenter.org, 2013

2012

M. de Leoni, J. Buijs, W. M. P. van der Aalst, A. H. M. ter Hofstede.
Facilitating Process Analysis through Visualising Process History: Experiences with a Dutch Municipality (PDF). BPM Center Report BPM-12-24, BPMcenter.org, 2012

R. Conforti, M. La Rosa, G. Fortino, A.H.M. ter Hofstede, J. Recker.
Real-Time Risk Monitoring in Business Processes: A Sensor-based Approach (PDF). BPM Center Report BPM-12-23, BPMcenter.org, 2012

R. Conforti, M. de Leoni, M. La Rosa, W.M.P. van der Aalst.
Supporting Risk-Informed Decisions during Business Process Execution (PDF). BPM Center Report BPM-12-22, BPMcenter.org, 2012

Wil M.P. van der Aalst and Eric Verbeek.
Process Discovery and Conformance Checking Using Passages (PDF). BPM Center Report BPM-12-21, BPMcenter.org, 2012

Wil M.P. van der Aalst. Decomposing Petri Nets for Process Mining: A Generic Approach (PDF). BPM Center Report BPM-12-20, BPMcenter.org, 2012

Wil M.P. van der Aalst. Passages in Graphs (PDF). BPM Center Report BPM-12-19, BPMcenter.org, 2012

Dirk Fahland, Christian Gierds.
Using Petri Nets for Modeling Enterprise Integration Patterns (PDF). BPM Center Report BPM-12-18, BPMcenter.org, 2012

E. Ramezani, D. Fahland, B.F. van Dongen, W.M.P. van der Aalst.
Diagnostic Information in Temporal Compliance Checking (PDF). BPM Center Report BPM-12-17, BPMcenter.org, 2012

R.P. Jagadeesh Chandra Bose, W.M.P. van der Aalst.
Process Mining Applied to the BPI Challenge 2012: Divide and Conquer While Discerning Resources (PDF). BPM Center Report BPM-12-16, BPMcenter.org, 2012

A. Adriansyah and J.C.A.M Buijs.
Mining Process Performance from Event Logs: The BPI Challenge 2012 Case Study (PDF). BPM Center Report BPM-12-15, BPMcenter.org, 2012

H.M.W. Verbeek, W.M.P. van der Aalst.
An Experimental Evaluation of Passage-Based Process Discovery (PDF). BPM Center Report BPM-12-14, BPMcenter.org, 2012

S. Suriadi, B. Weiß, A. Winkelmann, A.H.M. ter Hofstede, M. Adams, R. Conforti, C. Fidge, M. La Rosa, C. Ouyang, M. Rosemann, A. Pika, M. Wynn.
Current Research in Risk-Aware Business Process Management – Overview, Comparison, and Gap Analysis (PDF). BPM Center Report BPM-12-13, BPMcenter.org, 2012

A. Polyvyanyy, M. Weidlich, W. Weske.
Isotactics as a Foundation for Alignment and Abstraction of Behavioral Models (PDF). BPM Center Report BPM-12-12, BPMcenter.org, 2012

E. Ramezani, D. Fahland, W.M.P. van der Aalst.
Diagnostic Information in Compliance Checking (PDF). BPM Center Report BPM-12-11, BPMcenter.org, 2012

A. Adriansyah, J. Munoz-Gama, J. Carmona, B.F. van Dongen, W.M.P. van der Aalst.
Alignment Based Precision Checking (PDF). BPM Center Report BPM-12-10, BPMcenter.org, 2012

N. Sidorova, C. Stahl.
Soundness for Resource-Contrainted Workflow Nets is Decidable (PDF). BPM Center Report BPM-12-09, BPMcenter.org, 2012

R. Conforti, A.H.M. ter Hofstede, M. La Rosa, M. Adams.
Automated Risk Mitigation in Business Processes (extended version) (PDF). BPM Center Report BPM-12-08, BPMcenter.org, 2012

C. Ekanayake, M. Dumas, L. Garcia-Banuelos, M. La Rosa, A.H.M. ter Hofstede.
Approximate Clone Detection in Repositories of Business Process Models (PDF). BPM Center Report BPM-12-07, BPMcenter.org, 2012

M. Dumas, L. Garcia-Banuelos, M. La Rosa, R. Uba.
Fast Detection of Exact Clones in Repositories of Business Process Models (PDF). BPM Center Report BPM-12-06, BPMcenter.org, 2012

J. Nakatumba, M. Westergaard, W.M.P. van der Aalst.
A Meta-model for Operational Support (PDF). BPM Center Report BPM-12-05, BPMcenter.org, 2012

H. Yang, B.F. van Dongen, A.H.M. her Hofstede, M.T. Wynn, J. Wang.
Estimating Completeness of Event Logs (PDF). BPM Center Report BPM-12-04, BPMcenter.org, 2012

J. Mendling, L. Sanchez-Gonzalez, F. Garcia, M. La Rosa.
Thresholds for Error Probability Measures of Business Process Models (PDF). BPM Center Report BPM-12-03, BPMcenter.org, 2012

J. Recker, M. La Rosa.
Understanding User Differences in Open Source Workflow Management System Usage Intentions (PDF). BPM Center Report BPM-12-02, BPMcenter.org, 2012

R. Dijkman, M. La Rosa, H.A. Reijers.
Managing Large Collections of Business Process Models – Current Techniques and Challenges (PDF). BPM Center Report BPM-12-01, BPMcenter.org, 2012

2011

D.M.M. Schunselaar, H.M.W. Verbeek, W.M.P van der Aalst, and H.A. Reijers
Creating Sound and Reversible Configurable Processes Models using CoSeNets (PDF). BPM Center Report BPM-11-21, BPMcenter.org, 2011

W.M.P van der Aalst, A. Adriansyah, and B. van Dongen
Replaying History on Process Models for Conformance Checking and Performance Analysis (PDF). BPM Center Report BPM-11-20, BPMcenter.org, 2011

W.M.P van der Aalst.
Decomposing Process Mining Problems Using Passages (PDF). BPM Center Report BPM-11-19, BPMcenter.org, 2011

R.P. Jagadeesh Chandra Bose and W.M.P van der Aalst.
Analysis of Patient Treatment Procedures: The BPI Challenge Case Study (PDF). BPM Center Report BPM-11-18, BPMcenter.org, 2011

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 (PDF). BPM Center Report BPM-11-17, BPMcenter.org, 2011

W.M.P. van der Aalst, M. de Leoni, A.H.M. ter Hofstede.
Process Mining and Visual Analytics: Breathing Life into Business Process Models (PDF). BPM Center Report BPM-11-16, BPMcenter.org, 2011

D.M.M. Schunselaar, F.M. Maggi, N. Sidorova,
Do My Constraints Constrain Enough? – Patterns for Strengthening Constraints in Declarative Compliance Models (PDF). BPM Center Report BPM-11-15, BPMcenter.org, 2011

R. Conforti, G. Fortino, M. La Rosa, A.H.M. ter Hofstede.
History-Aware, Real-Time Risk Detection in Business Processes (PDF). BPM Center Report BPM-11-14, BPMcenter.org, 2011.

I. Ailenei, A. Rozinat, A. Eckert, W.M.P. van der Aalst.
Towards an Evaluation Framework for Process Mining Systems (PDF). BPM Center Report BPM-11-13, BPMcenter.org, 2011.

M. La Rosa, P. Wohed, J. Mendling, A.H.M. ter Hofstede, H.A. Reijers, W.M.P. van der Aalst.
Managing Process Model Complexity via Abstract Syntax Modifications (PDF). BPM Center Report BPM-11-12, BPMcenter.org, 2011.

A. Adriansyah, B.F. van Dongen, W.M.P. van der Aalst.
Cost-Based Conformance Checking using the A* Algorithm (PDF). BPM Center Report BPM-11-11, BPMcenter.org, 2011.

Z. Wang, A.H.M. ter Hofstede, C. Ouyang, M. Wynn, J. Wang, X. Zhu.
How to Guarantee Compliance between Workflows and Product Lifecycles? (PDF) BPM Center Report BPM-11-10, BPMcenter.org, 2011.

C. Ekanayake, M. La Rosa, A.H.M. ter Hofstede, M.-C. Fauvet.
Fragment-based Version Management for Repositories of Business Process Models (PDF). BPM Center Report BPM-11-09, BPMcenter.org, 2011.

D. Fahland, M. de Leoni, B.F. van Dongen, W.M.P. van der Aalst.
Checking Behavioral Conformance of Artifacts (PDF). BPM Center Report BPM-11-08, BPMcenter.org, 2011.

M. Gambini, M. La Rosa, S. Migliorini, A.H.M. ter Hofstede.
Automated Error Correction in Business Process Models (PDF). BPM Center Report BPM-11-07, BPMcenter.org, 2011.

K. van Hee, M. La Rosa, Z. Liu and N. Sidorova.
Discovering Characteristics of Stochastic Collections of Process Models (PDF). BPM Center Report BPM-11-06, BPMcenter.org, 2011.

R. Uba, M. Dumas, L. Garcia-Banuelos, M. La Rosa.
Clone Detection in Repositories of Business Process Models (PDF). BPM Center Report BPM-11-05, BPMcenter.org, 2011.

C.C. Niculae.
Time Patterns in Workflow Management Systems (PDF). BPM Center Report BPM-11-04, BPMcenter.org, 2011.

S. Migliorini, M. Gambini, M. La Rosa, A.H.M. ter Hofstede.
Pattern-Based Evaluation of Scientific Workflow Management Systems (PDF). BPM Center Report BPM-11-03, BPMcenter.org, 2011.

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 (PDF). BPM Center Report BPM-11-02, BPMcenter.org, 2011.

W.M.P. van der Aalst, N. Lohmann, M. La Rosa.
Ensuring Correctness During Process Configuration via Partner Synthesis (PDF). BPM Center Report BPM-11-01, BPMcenter.org, 2011.

2010

R.S. Mans, N.C. Russell, W.M.P. van der Aalst, A.J. Moleman, P.J.M. Bakker.
Inter-Workflow Support (PDF). BPM Center Report BPM-10-10, BPMcenter.org, 2010.

H. Yang, A.H.M. ter Hofstede, B.F. van Dongen, M.T. Wynn, and J. Wang.
On Global Completeness of Event Logs (PDF). BPM Center Report BPM-10-09, BPMcenter.org, 2010.

W.M.P. van der Aalst.
Process Discovery: Capturing the Invisible (PDF). BPM Center Report BPM-10-08, BPMcenter.org, 2010.

W.M.P. van der Aalst, K.M. van Hee, J.M. van der Werf, M. Verdonk.
Auditing 2.0: Using Process Mining to Support Tomorrow’s Auditor (PDF). BPM Center Report BPM-10-07, BPMcenter.org, 2010.

W.M.P. van der Aalst, N. Lohmann, M. La Rosa, and J. Xu.
Correctness Ensuring Process Configuration: An Approach Based on Partner Synthesis (PDF). BPM Center Report BPM-10-06, BPMcenter.org, 2010.

J. Wang, T. He, L. Wen, N. Wu, A.H.M. ter Hofstede, and J. Su.
A Behavioral Similarity Measure between Labeled Petri Nets Based on Principal Transition Sequences (PDF). BPM Center Report BPM-10-05, BPMcenter.org, 2010.

E.A.P. Santos, R. Francisco, M. Pesic, and W.M.P. van der Aalst.
Supervisory Control Service: A Control Approach Supporting Flexible Processes (PDF). BPM Center Report BPM-10-04, BPMcenter.org, 2010.

H.A. Reijers, J. Mendling, and R.M. Dijkman.
On the Usefulness of Subprocesses in Business Process Models (PDF). BPM Center Report BPM-10-03, BPMcenter.org, 2010.

W.M.P. van der Aalst, N. Lohmann, M. La Rosa and J. Xu.
Correctness Ensuring Process Configuration: An Approach Based on Partner Synthesis (extended version) (PDF). BPM Center Report BPM-10-02, BPMcenter.org, 2010.

W.M.P. van der Aalst.
Challenges in Business Process Mining (PDF). BPM Center Report BPM-10-01, BPMcenter.org, 2010.

2009

M.T. Wynn, C. Ouyang, A.H.M. ter Hofstede, and C.J. Fidge.
Workflow Support for Product Recall Coordination (PDF). BPM Center Report BPM-09-26, BPMcenter.org, 2009.

M. La Rosa, H.A. Reijers, W.M.P. van der Aalst, R. Dijkman, J. Mendling, M. Dumas, and L. Garcia-Banuelos.
APROMORE: An Advanced Process Model Repository (PDF). BPM Center Report BPM-09-25, BPMcenter.org, 2009.

M. La Rosa, M. Dumas, A.H.M. ter Hofstede, and J. Mendling.
Configurable Multi-Perspective Business Process Models (PDF). BPM Center Report BPM-09-24, BPMcenter.org, 2009.

M. La Rosa, A.H.M. ter Hofstede, and P. Wohed.
Managing Process Model Complexity – Part I: Concrete Syntax (PDF). BPM Center Report BPM-09-23, BPMcenter.org, 2009.

[New version: 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 (PDF). BPM Center Report BPM-11-02, BPMcenter.org, 2011].

M. La Rosa, M. Dumas, R. Kaarik, and R. Dijkman.
Merging Business Process Models (Extended Version) (PDF). BPM Center Report BPM-09-22, BPMcenter.org, 2009.

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 (PDF). BPM Center Report BPM-09-21, BPMcenter.org, 2009.

S. Balko, A.H.M. ter Hofstede, A. Barros, M. La Rosa and M. Adams.
Controlled Flexibility and Lifecycle Management of Business Processes through Extensibility (PDF). BPM Center Report BPM-09-20, BPMcenter.org, 2009.

W.M.P. van der Aalst, K.M. van Hee, J.M. van der Werf, A. Kumar, and M. Verdonk.
Conceptual Model for On Line Auditing (PDF). BPM Center Report BPM-09-19, BPMcenter.org, 2009.

W.M.P. van der Aalst, M. Pesic, and M. Song.
Beyond Process Mining: From the Past to Present and Future (PDF). BPM Center Report BPM-09-18, BPMcenter.org, 2009.

E. Bacarin, E.R.M. Madeira, C.B. Medeiros, and W.M.P van der Aalst.
SPICA’s Multi-party Negotiation Protocol: Implementation using YAWL (PDF). BPM Center Report BPM-09-17, BPMcenter.org, 2009.

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. Jorgensen.
From Requirements via Colored Workflow Nets to an Implementation in Several Workflow Systems (PDF). BPM Center Report BPM-09-16, BPMcenter.org, 2009.

N. Russell, W.M.P. van der Aalst, and A.H.M. ter Hofstede.
Designing a Workflow System using Coloured Petri Nets (PDF). BPM Center Report BPM-09-15, BPMcenter.org, 2009.

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 (PDF). BPM Center Report BPM-09-14, BPMcenter.org, 2009.

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 (PDF). BPM Center Report BPM-09-13, BPMcenter.org, 2009.

F. Gottschalk, T.A.C. Wagemakers, M.H. Jansen-Vullers, W.M.P. van der Aalst, M. La Rosa.
Configurable Process Models: Experiences from a Municipality Case Study (PDF). BPM Center Report BPM-09-12, BPMcenter.org, 2009.

W.M.P. van der Aalst, M. Adams, A.H.M. ter Hofstede, M. Pesic, and H. Schonenberg.
Flexibility as a Service (PDF). BPM Center Report BPM-09-11, BPMcenter.org, 2009.

W.M.P. van der Aalst, A.J. Mooij, C. Stahl, and K. Wolf.
Service Interaction: Patterns, Formalization, and Analysis (PDF). BPM Center Report BPM-09-10, BPMcenter.org, 2009.

A. Rozinat, M. Wynn, W.M.P. van der Aalst, A.H.M. ter Hofstede, and C. Fidge.
Workflow Simulation for Operational Decision Support (PDF). BPM Center Report BPM-09-09, BPMcenter.org, 2009.

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 (PDF). BPM Center Report BPM-09-08, BPMcenter.org, 2009.

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 (revised version) (PDF). BPM Center Report BPM-09-07, BPMcenter.org, 2009.

B. Alhaqbani, M. Adams, C. Fidge, and A.H.M. ter Hofstede.
Privacy-Aware Workflow Management (PDF). BPM Center Report BPM-09-06, BPMcenter.org, 2009.

R.S. Mans, N.C. Russell, W.M.P. van der Aalst, A.J. Moleman, and P.J.M. Bakker.
Proclets in Healthcare (PDF). BPM Center Report BPM-09-05, BPMcenter.org, 2009.

W.M.P. van der Aalst, M.H. Schonenberg, and M. Song.
Time Prediction Based on Process Mining (PDF). BPM Center Report BPM-09-04, BPMcenter.org, 2009.

M. Indulska, M. zur Muehlen, and J. Recker.
Measuring Method Complexity: The Case of the Business Process Modeling Notation (PDF). BPM Center Report BPM-09-03, BPMcenter.org, 2009.

J. Mendling, J. Recker, and H.A. Reijers.
Process Modeling Quality: A Framework and Research Agenda (PDF). BPM Center Report BPM-09-02, BPMcenter.org, 2009.

S. Balko, A.H.M. ter Hofstede, and A. Barros.
Controlled Flexibility and Lifecycle Management of Business Processes through Extensibility (PDF). BPM Center Report BPM-09-01, BPMcenter.org, 2009.

2008

C. Ouyang, M. La Rosa, A.H.M. ter Hofstede, M. Dumas and K. Shortland.
Towards Web-Scale Workflows for Film Production (PDF). BPM Center Report BPM-08-16, BPMcenter.org, 2008.

M. La Rosa, W.M.P. van der Aalst, M. Dumas, and A.H.M. ter Hofstede.
Questionnaire-based Variability Modeling for System Configuration (PDF). BPM Center Report BPM-08-15, BPMcenter.org, 2008.

M. La Rosa, M. Dumas, A.H.M. ter Hofstede, J. Mendling, and F. Gottschalk.
Beyond Control-Flow: Extending Business Process Configuration to Roles and Objects (PDF). BPM Center Report BPM-08-14, BPMcenter.org, 2008.

M. La Rosa, and J. Mendling.
Domain-driven Process Adaptation in Emergency Scenarios (PDF). BPM Center Report BPM-08-13, BPMcenter.org, 2008.

J. Recker, M. Indulska, M. Rosemann, and P. Green.
An Exploratory Study of Process Modeling Practice with BPMN (PDF). BPM Center Report BPM-08-12, BPMcenter.org, 2008.

C.W. Guenther, A. Rozinat, W.M.P. van der Aalst, and K. van Uden.
Monitoring Deployed Application Usage with Process Mining (PDF). BPM Center Report BPM-08-11, BPMcenter.org, 2008.

A. Rozinat, M. Veloso, and W.M.P. van der Aalst.
Using Hidden Markov Models to Evaluate the Quality of Discovered Process Models (PDF). BPM Center Report BPM-08-10, BPMcenter.org, 2008.

W.M.P. van der Aalst, M. Adams, A.H.M. ter Hofstede, M. Pesic, and H. Schonenberg.
Flexibility as a Service (PDF). BPM Center Report BPM-08-09, BPMcenter.org, 2008.

F. Gottschalk, W.M.P. van der Aalst, and M.H. Jansen-Vullers.
Merging Event-driven Process Chains (PDF). BPM Center Report BPM-08-08, BPMcenter.org, 2008.

W.M.P. van der Aalst, J. Nakatumba, A. Rozinat, and N. Russell.
Business Process Simulation: How to get it right? (PDF) BPM Center Report BPM-08-07, BPMcenter.org, 2008.

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: Framework, Formalization, Operationalisation (PDF). BPM Center Report BPM-08-06, BPMcenter.org, 2008.

R. Brown and H.Y. Paik.
Resource-Centric Worklist Visualisation (PDF). BPM Center Report BPM-08-05, BPMcenter.org, 2008.

A. Rozinat, M. Wynn, W.M.P. van der Aalst, A.H.M. ter Hofstede, and C. Fidge.
Workflow Simulation for Operational Decision Support using YAWL and ProM (PDF). BPM Center Report BPM-08-04, BPMcenter.org, 2008.

I. Vanderfeesten, H.A. Reijers, W.M.P. van der Aalst.
Product Based Workflow Support: A Recommendation Service for Dynamic Workflow Execution (PDF). BPM Center Report BPM-08-03, BPMcenter.org, 2008.

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 (PDF). BPM Center Report BPM-08-02, BPMcenter.org, 2008.

W.M.P. van der Aalst, V. Rubin, H.M.W. Verbeek, B.F. van Dongen, E. Kindler, and C.W. Guenther.
Process Mining: A Two-Step Approach to Balance Between Underfitting and Overfitting (PDF). BPM Center Report BPM-08-01, BPMcenter.org, 2008.

2007

M. La Rosa, F. Gottschalk, M. Dumas, and W.M.P. van der Aalst.
Linking Domain Models and Process Models for Reference Model Configuration (PDF). BPM Center Report BPM-07-19, BPMCenter.org, 2007.

W.M.P. van der Aalst, M. Dumas, F. Gottschalk, A.H.M. ter Hofstede, M. La Rosa, and Jan Mendling.
Correctness-Preserving Configuration of Business Process Models (PDF). BPM Center Report BPM-07-18, BPMCenter.org, 2007.

M. La Rosa, W.M.P. van der Aalst, M. Dumas, and A.H.M. ter Hofstede.
Variability Modeling for Questionnaire-based System Configuration (PDF). BPM Center Report BPM-07-17, BPMCenter.org, 2007.

W.M.P. van der Aalst and A. Nikolov.
EMailAnalyzer: An E-Mail Mining Plug-in for the ProM Framework (PDF). BPM Center Report BPM-07-16, BPMCenter.org, 2007.

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! (PDF). BPM Center Report BPM-07-15, BPMcenter.org, 2007.

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 (PDF). BPM Center Report BPM-07-14, BPMcenter.org, 2007.

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 (PDF). BPM Center Report BPM-07-13, BPMcenter.org, 2007.

P. Wohed, B. Andersson, A.H.M. ter Hofstede, N.C. Russell, W.M.P. van der Aalst.
Patterns-based Evaluation of Open Source BPM Systems: The Cases of jBPM, OpenWFE, and Enhydra Shark (PDF). BPM Center Report BPM-07-12, BPMcenter.org, 2007.

M.H. Schonenberg, R.S. Mans, N.C. Russell, N.A. Mulyar, and W.M.P. van der Aalst.
Towards a Taxonomy of Process Flexibility (Extended Version) (PDF). BPM Center Report BPM-07-11, BPMcenter.org, 2007.

N. Russell and W.M.P. van der Aalst.
Evaluation of the BPEL4People and WS-HumanTask Extensions to WS-BPEL 2.0 using the Workflow Resource Patterns (PDF). BPM Center Report BPM-07-11, BPMcenter.org, 2007.

F. Gottschalk, W.M.P. van der Aalst, and M.H. Jansen-Vullers.
SAP WebFlow Made Configurable: Unifying Workflow Templates into a Configurable Model (PDF). BPM Center Report BPM-07-09, BPMcenter.org, 2007.

L. Aldred, W.M.P. van der Aalst, M. Dumas, and A.H.M. ter Hofstede.
Dimensions of Coupling in Middleware (PDF). BPM Center Report BPM-07-08, BPMcenter.org, 2007.

N. Mulyar, W.M.P. van der Aalst, L.Aldred, and N. Russell.
Service Interaction Patterns: A Configurable Framework (PDF). BPM Center Report BPM-07-07, BPMcenter.org, 2007.

A. Rozinat, A.K. Alves de Medeiros, C.W. Guenther, A.J.M.M. Weijters, and W.M.P. van der Aalst.
Towards an Evaluation Framework for Process Mining Algorithms (PDF). BPM Center Report BPM-07-06, BPMcenter.org, 2007.

N. Russell, A.H.M. ter Hofstede, D. Edmond, and W.M.P. van der Aalst.
newYAWL: Achieving Comprehensive Patterns Support in Workflow for the Control-Flow, Data and Resource Perspectives (PDF). BPM Center Report BPM-07-05, BPMcenter.org, 2007.

N. Mulyar, M. Pesic, W.M.P. van der Aalst and M. Peleg.
Towards the Flexibility in Clinical Guideline Modelling Languages (PDF). BPM Center Report BPM-07-04, BPMcenter.org, 2007.

M. Adams, A.H.M. ter Hofstede, D. Edmond, and W.M.P. van der Aalst,
Dynamic and Extensible Exception Handling for Workflows: A Service-Oriented Implementation (PDF). BPM Center Report BPM-07-03, BPMcenter.org, 2007.

I. Vanderfeesten, H.A. Reijers, and W.M.P. van der Aalst,
Evaluating Workflow Process Designs using Cohesion and Coupling Metrics (PDF). BPM Center Report BPM-07-02, BPMcenter.org, 2007.

V. Rubin, C.W. Guenther, W.M.P. van der Aalst, E. Kindler, B.F. van Dongen, and W. Schaefer,
Process Mining Framework for Software Processes (PDF). BPM Center Report BPM-07-01, BPMcenter.org, 2007.

2006

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 (Revised Version) (PDF). BPM Center Report BPM-06-31, BPMcenter.org, 2006.

W.M.P. van der Aalst, V. Rubin, B.F. van Dongen, E. Kindler, and C.W. Guenther.
Process Mining: A Two-Step Approach using Transition Systems and Regions (PDF). BPM Center Report BPM-06-30, BPMcenter.org, 2006.

N. Mulyar, W.M.P. van der Aalst, and M. Peleg.
A Pattern-based Analysis of Clinical Computer-Interpretable Guideline Modelling Languages (PDF). BPM Center Report BPM-06-29, BPMcenter.org, 2006.

L. Aldred, W.M.P. van der Aalst, M. Dumas, and A.H.M. ter Hofstede.
Communication Abstractions for Distributed Business Processes (PDF). BPM Center Report BPM-06-28, BPMcenter.org, 2006.

C. Ouyang, M. Dumas, W.M.P. van der Aalst, and A.H.M. ter Hofstede.
From Business Process Models to Process-oriented Software Systems: The BPMN to BPEL Way (PDF). BPM Center Report BPM-06-27, BPMcenter.org, 2006.

M.T. Wynn, D. Edmond, W.M.P. van der Aalst, and A.H.M. ter Hofstede.
Synchronisation and Cancellation in Workflows based on Reset Nets (PDF). BPM Center Report BPM-06-26, BPMcenter.org, 2006.

M.T. Wynn, H.M.W. Verbeek, W.M.P. van der Aalst, A.H.M. ter Hofstede, and D. Edmond.
Reduction rules for Reset Workflow Nets (PDF). BPM Center Report BPM-06-25, BPMcenter.org, 2006.

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 Workflow Nets with Cancellation Regions and OR-joins (PDF). BPM Center Report BPM-06-24, BPMcenter.org, 2006.

L. Wen, W.M.P. van der Aalst, J. Wang, and J Sun.
Mining Process Models with Non-Free-Choice Constructs (PDF). BPM Center Report BPM-06-23, BPMcenter.org, 2006.

N. Russell, A.H.M. ter Hofstede, W.M.P. van der Aalst, and N. Mulyar.
Workflow Control-Flow Patterns: A Revised View (PDF). BPM Center Report BPM-06-22, BPMcenter.org, 2006.

W.M.P. van der Aalst and M. Pesic.
DecSerFlow: Towards a Truly Declarative Service Flow Language (PDF). BPM Center Report BPM-06-21, BPMcenter.org, 2006.

J. Recker, M. Rosemann, M. Indulska and P. Green.
Business Process Modelling: A Maturing Discipline? (PDF) BPM Center Report BPM-06-20, BPMcenter.org, 2006.

L. Aldred, W.M.P. van der Aalst, M. Dumas, and A.H.M. ter Hofstede.
Understanding the Challenges in Getting Together: The Semantics of Decoupling in Middleware (PDF). BPM Center Report BPM-06-19, BPMcenter.org, 2006.

N. Mulyar, W.M.P. van der Aalst, A.H.M. ter Hofstede, and N. Russell.
Towards a WPSL: A Critical Analysis of the 20 Classical Workflow Control-flow Patterns (PDF). BPM Center Report BPM-06-18, BPMcenter.org, 2006.

P. Wohed, W.M.P. van der Aalst, M. Dumas, A.H.M. ter Hofstede, and N. Russell.
Pattern-based Analysis of BPMN – An extensive evaluation of the Control-flow, the Data and the Resource Perspectives (revised version) (PDF). BPM Center Report BPM-06-17, BPMcenter.org, 2006.

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 (PDF). BPM Center Report BPM-06-16, BPMcenter.org, 2006.

W.M.P. van der Aalst, A.K. Alves de Medeiros and A.J.M.M. Weijters.
Process Equivalence in the Context of Genetic Mining (PDF). BPM Center Report BPM-06-15, BPMcenter.org, 2006.

K.B. Lassen and W.M.P. van der Aalst.
WorkflowNet2BPEL4WS: A Tool for Translating Unstructured Workflow Processes to Readable BPEL (PDF). BPM Center Report BPM-06-14, BPMcenter.org, 2006.

C.W. Guenther and W.M.P. van der Aalst.
A Generic Import Framework For Process Event Logs (PDF). BPM Center Report BPM-06-13, BPMcenter.org, 2006.

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 (PDF). BPM Center Report BPM-06-12, BPMcenter.org, 2006.

C.W. Guenther and W.M.P. van der Aalst.
Mining Activity Clusters From Low-level Event Logs (PDF). BPM Center Report BPM-06-11, BPMcenter.org, 2006.

A. Rozinat and W.M.P. van der Aalst.
Decision Mining in Business Processes (PDF). BPM Center Report BPM-06-10, BPMcenter.org, 2006.

W.M.P. van der Aalst and M. Pesic.
Specifying, Discovering, and Monitoring Service Flows: Making Web Services Process-Aware (PDF). BPM Center Report BPM-06-09, BPMcenter.org, 2006.

J. Mendling, M. Moser, G. Neumann, H.M.W. Verbeek, B.F. van Dongen, and W.M.P. van der Aalst.
A Quantitative Analysis of Faulty EPCs in the SAP Reference Model (PDF). BPM Center Report BPM-06-08, BPMcenter.org, 2006.

M. Netjes, H.A. Reijers, and W.M.P. van der Aalst.
FileNet’s BPM life-cycle support (PDF). BPM Center Report BPM-06-07, BPMcenter.org, 2006.

Michael Adams, Arthur H. M. ter Hofstede, David Edmond, and Wil M. P. van der Aalst.
Implementing Dynamic Flexibility in Workflows using Worklets (PDF). BPM Center Report BPM-06-06, BPMcenter.org, 2006.

H.M.W. Verbeek and W.M.P. van der Aalst.
On the verification of EPCs using T-invariants (PDF). BPM Center Report BPM-06-05, BPMcenter.org, 2006.

N. Russell, W.M.P. van der Aalst, and A.H.M. ter Hofstede.
Exception Handling Patterns in Process-Aware Information Systems (PDF). BPM Center Report BPM-06-04, BPMcenter.org, 2006.

N. Russell, W.M.P. van der Aalst, A.H.M. ter Hofstede, and P. Wohed.
On the Suitability of UML 2.0 Activity Diagrams for Business Process Modelling (PDF). BPM Center Report BPM-06-03, BPMcenter.org, 2006.

C. Ouyang, W.M.P. van der Aalst, M. Dumas, and A.H.M. ter Hofstede.
Translating BPMN to BPEL (PDF). BPM Center Report BPM-06-02, BPMcenter.org, 2006.

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 Invariants (PDF). BPM Center Report BPM-06-01, BPMcenter.org, 2006.

2005

C. Ouyang, M. Dumas, S. Breutel, and A.H.M. ter Hofstede.
Translating Standard Process Models to BPEL (PDF). BPM Center Report BPM-05-27, BPMcenter.org, 2005.

P. Wohed, W.M.P. van der Aalst, M. Dumas, A.H.M. ter Hofstede, and N. Russell.
Pattern-based Analysis of BPMN – An extensive evaluation of the Control-flow, the Data and the Resource Perspectives (PDF). BPM Center Report BPM-05-26, BPMcenter.org, 2005.

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) (PDF). BPM Center Report BPM-05-25, BPMcenter.org, 2005.

N. Mulyar.
Pattern-based Evaluation of Oracle-BPEL (PDF). BPM Center Report BPM-05-24, BPMcenter.org, 2005.

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? (PDF) BPM Center Report BPM-05-23, BPMcenter.org, 2005.

W.M.P. van der Aalst, A.H.M. ter Hofstede, and M. Dumas.
Patterns of Process Modeling (PDF). BPM Center Report BPM-05-22, BPMcenter.org, 2005.

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 (PDF). BPM Center Report BPM-05-21, BPMcenter.org, 2005.

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 (position paper) (PDF). BPM Center Report BPM-05-20, BPMcenter.org, 2005.

J. O’Sullivan, D. Edmond and A.H.M. ter Hofstede.
Formal description of non-functional service properties (PDF). BPM Center Report BPM-05-19, BPMcenter.org, 2005.

M. Pesic and W.M.P. van der Aalst.
Modeling Work Distribution Mechanisms using Colored Petri Nets (PDF). BPM Center Report BPM-05-18, BPMcenter.org, 2005.

A. Rozinat and W.M.P. van der Aalst.
Conformance Testing: Measuring the Alignment Between Event Logs and Process Models (PDF). BPM Center Report BPM-05-17, BPMcenter.org, 2005.

W.M.P. van der Aalst and K.B. Lassen.
Translating Workflow Nets to BPEL4WS (PDF). BPM Center Report BPM-05-16, BPMcenter.org, 2005.

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 (Revised version) (PDF). BPM Center Report BPM-05-15, BPMcenter.org, 2005.

L. Aldred, W.M.P. van der Aalst, M. Dumas, A.H.M. ter Hofstede.
On the Notion of Coupling in Communication Middleware (PDF). BPM Center Report BPM-05-14, BPMcenter.org, 2005.

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 (PDF). BPM Center Report BPM-05-13, BPMcenter.org, 2005.

P. Oaks and A.H.M. ter Hofstede.
Guided Interaction: A mechanism to enable ad hoc service interaction (PDF). BPM Center Report BPM-05-12, BPMcenter.org, 2005.

N.A. Mulyar and W.M.P. van der Aalst.
Patterns in Colored Petri Nets (PDF). BPM Center Report BPM-05-11, BPMcenter.org, 2005.

M. Rosemann and W.M.P. van der Aalst.
A Configurable Reference Modelling Language (PDF). BPM Center Report BPM-05-10, BPMcenter.org, 2005.

M.H. Jansen-Vullers, W.M.P. van der Aalst, and M. Rosemann.
Mining Configurable Enterprise Information Systems (PDF). BPM Center Report BPM-05-09, BPMcenter.org, 2005.

N. Russell, W.M.P.van der Aalst, A.H.M. ter Hofstede, and D. Edmond.
Workflow Resource Patterns: Identification, Representation and Tool Support (PDF). BPM Center Report BPM-05-08, BPMcenter.org, 2005.

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 (PDF). BPM Center Report BPM-05-07, BPMcenter.org, 2005.

A. Dreiling, M. Rosemann, W.M.P. van der Aalst, W. Sadiq, and S. Khan.
Model-driven Process Configuration of Enterprise Systems (PDF). BPM Center Report BPM-05-06, BPMcenter.org, 2005.

W.M.P. van der Aalst, M. Rosemann, and M. Dumas.
Deadline-based Escalation in Process-Aware Information Systems (PDF). BPM Center Report BPM-05-05, BPMcenter.org, 2005.

Michael Adams, Arthur H. M. ter Hofstede, David Edmond, and Wil M. P. van der Aalst.
Facilitating Flexibility and Dynamic Exception Handling in Workflows through Worklets (PDF). BPM Center Report BPM-05-04, BPMcenter.org, 2005.

J. Hidders, M. Dumas, W. M.P. van der Aalst, A. H.M. ter Hofstede, and J. Verelst.
When are two workflows the same? (PDF) BPM Center Report BPM-05-03, BPMcenter.org, 2005.

W.M.P. van der Aalst, M. Weske, and D. Gruenbauer.
Case Handling: A New Paradigm for Business Process Support (PDF). BPM Center Report BPM-05-02, BPMcenter.org, 2005.

W.M.P. van der Aalst and A.H.M. ter Hofstede.
YAWL: Yet Another Workflow Language (PDF). BPM Center Report BPM-05-01, BPMcenter.org, 2005.

2004

N. Russell, A.H.M. ter Hofstede, D. Edmond, and W.M.P. van der Aalst.
Workflow Resource Patterns (PDF). BPM Center Report BPM-04-07, BPMcenter.org, 2004.

W.M.P. van der Aalst, A.J.M.M. Weijters, and L. Maruster.
Workflow Mining: Discovering Process Models from Event Logs (PDF). BPM Center Report BPM-04-06, BPMcenter.org, 2004.

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 (PDF). BPM Center Report BPM-04-05, BPMcenter.org, 2004.

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 (PDF). BPM Center Report BPM-04-04, BPMcenter.org, 2004.

W.M.P. van der Aalst.
Business Process Management Demystified: A Tutorial on Models, Systems and Standards for Workflow Management (PDF). BPM Center Report BPM-04-03, BPMcenter.org, 2004.

W.M.P. van der Aalst, L. Aldred, M. Dumas, and A.H.M. ter Hofstede.
Design and Implementation of the YAWL System (PDF). BPM Center Report BPM-04-02, BPMcenter.org, 2004.

N. Russell, A.H.M. ter Hofstede, D. Edmond, and W.M.P. van der Aalst.
Workflow Data Patterns (PDF). BPM Center Report BPM-04-01, BPMcenter.org, 2004.

2003

W.M.P. van der Aalst.
Challenges in Business Process Management: Verification of business processes using Petri nets (PDF). BPM Center Report BPM-03-11, BPMcenter.org, 2003.

W.M.P. van der Aalst, L. Aldred, M. Dumas, and A.H.M. ter Hofstede.
Design and Implementation of the YAWL System (PDF). BPM Center Report BPM-03-10, BPMcenter.org, 2003.

W.M.P. van der Aalst.
Patterns and XPDL: A Critical Evaluation of the XML Process Definition Language (PDF). BPM Center Report BPM-03-09, BPMcenter.org, 2003.

M. Rosemann and W.M.P. van der Aalst.
A Configurable Reference Modelling Language (PDF). BPM Center Report BPM-03-08, BPMcenter.org, 2003.

B. Kiepuszewski, A.H.M. ter Hofstede, and W.M.P. van der Aalst.
Fundamentals of Control Flow in Workflows (PDF). BPM Center Report BPM-03-07, BPMcenter.org, 2003.

W.M.P. van der Aalst, A.H.M. ter Hofstede, B. Kiepuszewski, and A.P. Barros.
Workflow Patterns (PDF). BPM Center Report BPM-03-06, BPMcenter.org, 2003.

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 (PDF). BPM Center Report BPM-03-05, BPMcenter.org, 2003.

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 (PDF). BPM Center Report BPM-03-04, BPMcenter.org, 2003.

W.M.P. van der Aalst, M. Dumas, and A.H.M. ter Hofstede.
Web Service Composition Languages: Old Wine in New Bottles? (PDF) BPM Center Report BPM-03-03, BPMcenter.org, 2003.

W.M.P. van der Aalst, A.H.M. ter Hofstede, and M. Weske.
Business Process Management: A Survey (PDF). BPM Center Report BPM-03-02, BPMcenter.org, 2003.

W.M.P. van der Aalst.
Don’t go with the flow: Web services composition standards exposed (PDF). BPM Center Report BPM-03-01, BPMcenter.org, 2003.

2002

P. Wohed, W.M.P. van der Aalst, M. Dumas, and A.H.M. ter Hofstede.
Pattern-Based Analysis of BPEL4WS (PDF). BPM Center Report BPM-02-04, BPMcenter.org, 2002.

W.M.P. van der Aalst and A.H.M. ter Hofstede.
YAWL: Yet Another Workflow Language (PDF). BPM Center Report BPM-02-03, BPMcenter.org, 2002.

W.M.P. van der Aalst and A.H.M. ter Hofstede.
Workflow Patterns: On the Expressive Power of (Petri-net-based) Workflow Languages (PDF). BPM Center Report BPM-02-02, BPMcenter.org, 2002.

W.M.P. van der Aalst, M. Dumas, A.H.M. ter Hofstede, and P. Wohed.
Pattern Based Analysis of BPML (and WSCI) (PDF). BPM Center Report BPM-02-01, BPMcenter.org, 2002.

2001

H.M.W. Verbeek, T. Basten, and W.M.P. van der Aalst.
Diagnosing Workflow Processes using Woflan (PDF). BPM Center Report BPM-01-02, BPMcenter.org, 2001.

W.M.P. van der Aalst and P.J.S. Berens.
Beyond Workflow Management: Product-Driven Case Handling (PDF). BPM Center Report BPM-01-01, BPMcenter.org, 2001.

2000

W.M.P. van der Aalst and M. Voorhoeve.
Simulation Handbook (PDF). BPM Center Report BPM-00-04, BPMcenter.org, 2000.

W.M.P. van der Aalst and A.H.M. ter Hofstede.
Verification of Workflow Task Structures: A Petri-net-based approach (PDF). BPM Center Report BPM-00-03, BPMcenter.org, 2000.

W.M.P. van der Aalst, A.H.M. ter Hofstede, B. Kiepuszewski, and A.P. Barros.
Workflow Patterns (PDF). BPM Center Report BPM-00-02, BPMcenter.org, 2000.

W.M.P. van der Aalst, A.P. Barros, A.H.M. ter Hofstede, and B. Kiepuszewski.
Advanced Workflow Patterns (PDF). BPM Center Report BPM-00-01, BPMcenter.org, 2 2000