Adaptive Workflow-On the Interplay between Flexibility and Support. - Wil M. P. van der Aalst; Twan Basten; H. M. W. Verbeek; Peter A. C. Verkoulen; Marc Voorhoeve (ICEIS, 1999)

Woflan 2.0: A Petri-Net-Based Workflow Diagnosis Tool. - Eric Verbeek 001; Wil M. P. van der Aalst (ICATPN, 2000)

Verification of XRL: An XML-based Workflow Language. - Wil M. P. van der Aalst; H. M. W. Verbeek; Akhil Kumar 001 (CSCWD, 2001)

Diagnosing Workflow Processes using Woflan. - H. M. W. Verbeek; Twan Basten; Wil M. P. van der Aalst (Comput. J., 2001)

An Alternative Way to Analyze Workflow Graphs. - Wil M. P. van der Aalst; Alexander Hirnschall; H. M. W. Verbeek (CAiSE, 2002)

XRL/Flower: Supporting Inter-organizational Workflows Using XML/Petri-Net Technology. - H. M. W. Verbeek; Alexander Hirnschall; Wil M. P. van der Aalst (WES, 2002)

Dynamic Work Distribution in Workflow Management Systems: How to Balance Quality and Performance. - Akhil Kumar 001; Wil M. P. van der Aalst; Henricus M. W. (Eric) Verbeek (J. Manag. Inf. Syst., 2002)

Deciding Life-Cycle Inheritance on Petri Nets. - H. M. W. Verbeek; Twan Basten (ICATPN, 2003)

Organizational Modeling in UML and XML in the Context of Workflow Systems. - Wil M. P. van der Aalst; Akhil Kumar 001; H. M. W. Verbeek (SAC, 2003)

Transit Case Study. - Eric Verbeek 001; Robert A. van der Toorn (ICATPN, 2004)

Advances in business process management. - Mathias Weske; Wil M. P. van der Aalst; H. M. W. Verbeek (Data Knowl. Eng., 2004)

XRL/Woflan: Verification and Extensibility of an XML/Petri-Net-Based Language for Inter-Organizational Workflows. - H. M. W. Verbeek; Wil M. P. van der Aalst; Akhil Kumar 001 (Inf. Technol. Manag., 2004)

The ProM Framework: A New Era in Process Mining Tool Support. - Boudewijn F. van Dongen; Ana Karla A. de Medeiros; H. M. W. Verbeek; A. J. M. M. Weijters; Wil M. P. van der Aalst (ICATPN, 2005)

Protos 7.0: Simulation Made Accessible. - Eric Verbeek 001; Maarte van Hattem; Hajo A. Reijers; Wendy de Munk (ICATPN, 2005)

Verification of EPCs: Using Reduction Rules and Petri Nets. - Boudewijn F. van Dongen; Wil M. P. van der Aalst; H. M. W. Verbeek (CAiSE, 2005)

Life After BPEL? - Wil M. P. van der Aalst; Marlon Dumas; Arthur H. M. ter Hofstede; Nick Russell; H. M. W. Verbeek; Petia Wohed (EPEW/WS-FM, 2005)

WofBPEL: A Tool for Automated Analysis of BPEL Processes. - Chun Ouyang 001; Eric Verbeek 001; Wil M. P. van der Aalst; Stephan Breutel; Marlon Dumas; Arthur H. M. ter Hofstede (ICSOC, 2005)

Faulty EPCs in the SAP Reference Model. - Jan Mendling; Michael Moser; Gustaf Neumann; H. M. W. Verbeek; Boudewijn F. van Dongen; Wil M. P. van der Aalst (Business Process Management, 2006)

Interoperability in the ProM Framework. - H. M. W. Verbeek; Boudewijn F. van Dongen; Jan Mendling; Wil M. P. van der Aalst (EMOI-INTEROP, 2006)

Choreography Conformance Checking: An Approach based on BPEL and Petri Nets. - Wil M. P. van der Aalst; Marlon Dumas; Chun Ouyang 001; Anne Rozinat; H. M. W. Verbeek (The Role of Business Processes in Service Oriented Architectures, 2006)

Integration of EPC-related Tools with ProM. - Paul Barborka; Lukas Helm; Georg Köldorfer; Jan Mendling; Gustaf Neumann; Boudewijn F. van Dongen; Eric Verbeek 001; Wil M. P. van der Aalst (EPK, 2006)

ProM 4.0: Comprehensive Support for Real Process Analysis. - Wil M. P. van der Aalst; Boudewijn F. van Dongen; Christian W. Günther; R. S. Mans; Ana Karla Alves de Medeiros; Anne Rozinat; Vladimir A. Rubin; Minseok Song 001; H. M. W. Verbeek; A. J. M. M. Weijters (ICATPN, 2007)

Verification of the SAP reference models using EPC reduction, state-space analysis, and invariants. - Boudewijn F. van Dongen; Monique H. Jansen-Vullers; H. M. W. Verbeek; Wil M. P. van der Aalst (Comput. Ind., 2007)

Verifying Workflows with Cancellation Regions and OR-joins: An Approach Based on Relaxed Soundness and Invariants. - H. M. W. Verbeek; Wil M. P. van der Aalst; Arthur H. M. ter Hofstede (Comput. J., 2007)

Business process management: Where business processes and web services meet. - Wil M. P. van der Aalst; Boualem Benatallah; Fabio Casati; Francisco Curbera; Eric Verbeek 001 (Data Knowl. Eng., 2007)

Business process mining: An industrial application. - Wil M. P. van der Aalst; Hajo A. Reijers; A. J. M. M. Weijters; Boudewijn F. van Dongen; Ana Karla Alves de Medeiros; Minseok Song 001; H. M. W. Verbeek (Inf. Syst., 2007)

Formal semantics and analysis of control flow in WS-BPEL. - Chun Ouyang 001; Eric Verbeek 001; Wil M. P. van der Aalst; Stephan Breutel; Marlon Dumas; Arthur H. M. ter Hofstede (Sci. Comput. Program., 2007)

Process Mining in Web Services: The WebSphere Case. - Wil M. P. van der Aalst; H. M. W. Verbeek (IEEE Data Eng. Bull., 2008)

Detection and prediction of errors in EPCs of the SAP reference model. - Jan Mendling; H. M. W. Verbeek; Boudewijn F. van Dongen; Wil M. P. van der Aalst; Gustaf Neumann (Data Knowl. Eng., 2008)

Protos2CPN: using colored Petri nets for configuring and testing business processes. - Florian Gottschalk; Wil M. P. van der Aalst; Monique H. Jansen-Vullers; H. M. W. Verbeek (Int. J. Softw. Tools Technol. Transf., 2008)

Conformance checking of service behavior. - Wil M. P. van der Aalst; Marlon Dumas; Chun Ouyang 001; Anne Rozinat; Eric Verbeek 001 (ACM Trans. Internet Techn., 2008)

Assessing State Spaces Using Petri-Net Synthesis and Attribute-Based Visualization. - Henricus M. W. (Eric) Verbeek; A. Johannes Pretorius; Wil M. P. van der Aalst; Jarke J. van Wijk (Trans. Petri Nets Other Model. Concurr., 2008)

ProM: The Process Mining Toolkit. - Wil M. P. van der Aalst; Boudewijn F. van Dongen; Christian W. Günther; Anne Rozinat; Eric Verbeek 001; Ton Weijters (BPM (Demos), 2009)

Business process verification - finally a reality! - Moe Thandar Wynn; H. M. W. Verbeek; Wil M. P. van der Aalst; Arthur H. M. ter Hofstede; David Edmond (Bus. Process. Manag. J., 2009)

Comparing and evaluating Petri net semantics for BPEL. - Niels Lohmann; Eric Verbeek 001; Chun Ouyang 001; Christian Stahl (Int. J. Bus. Process. Integr. Manag., 2009)

Reduction rules for YAWL workflows with cancellation regions and OR-joins. - Moe Thandar Wynn; H. M. W. Verbeek; Wil M. P. van der Aalst; Arthur H. M. ter Hofstede; David Edmond (Inf. Softw. Technol., 2009)

Soundness-preserving reduction rules for reset workflow nets. - Moe Thandar Wynn; H. M. W. Verbeek; Wil M. P. van der Aalst; Arthur H. M. ter Hofstede; David Edmond (Inf. Sci., 2009)

Soundness of Workflow Nets with Reset Arcs. - Wil M. P. van der Aalst; Kees M. van Hee; Arthur H. M. ter Hofstede; Natalia Sidorova; H. M. W. Verbeek; Marc Voorhoeve; Moe Thandar Wynn (Trans. Petri Nets Other Model. Concurr., 2009)

A Framework for Linking and Pricing No-Cure-No-Pay Services. - Kees M. van Hee; H. M. W. Verbeek; Christian Stahl; Natalia Sidorova (Trans. Petri Nets Other Model. Concurr., 2009)

Petri Net Transformations for Business Processes - A Survey. - Niels Lohmann; Eric Verbeek 001; Remco M. Dijkman (Trans. Petri Nets Other Model. Concurr., 2009)

Verification. - Eric Verbeek 001; Moe Thandar Wynn (Modern Business Process Automation, 2010)

ProM 6: The Process Mining Toolkit. - Eric Verbeek 001; Joos C. A. M. Buijs; Boudewijn F. van Dongen; Wil M. P. van der Aalst (BPM (Demos), 2010)

XES, XESame, and ProM 6. - H. M. W. Verbeek; Joos C. A. M. Buijs; Boudewijn F. van Dongen; Wil M. P. van der Aalst (CAiSE Forum (Selected Papers), 2010)

XES Tools. - Eric Verbeek 001; Joos C. A. M. Buijs; Boudewijn F. van Dongen; Wil M. P. van der Aalst (CAiSE Forum, 2010)

Reduction rules for reset/inhibitor nets. - H. M. W. Verbeek; Moe Thandar Wynn; Wil M. P. van der Aalst; Arthur H. M. ter Hofstede (J. Comput. Syst. Sci., 2010)

Process mining: a two-step approach to balance between underfitting and overfitting. - Wil M. P. van der Aalst; Vladimir A. Rubin; H. M. W. Verbeek; Boudewijn F. van Dongen; Ekkart Kindler; Christian W. Günther (Softw. Syst. Model., 2010)

Efficient Implementation of Prioritized Transitions for High-level Petri Nets. - Michael Westergaard; Henricus M. W. (Eric) Verbeek (PNSE, 2011)

Process Mining Manifesto. - Wil M. P. van der Aalst; Arya Adriansyah; Ana Karla Alves de Medeiros; Franco Arcieri; Thomas Baier 001; Tobias Blickle; R. P. Jagadeesh Chandra Bose; Peter van den Brand; Ronald Brandtjen; Joos C. A. M. Buijs; Andrea Burattin; Josep Carmona 001; et al. (Business Process Management Workshops (1), 2011)

Comparing Business Processes to Determine the Feasibility of Configurable Models: A Case Study. - Jan Vogelaar; H. M. W. Verbeek; B. Luka; Wil M. P. van der Aalst (Business Process Management Workshops (2), 2011)

Discovering Hierarchical Process Models Using ProM. - R. P. Jagadeesh Chandra Bose; Henricus M. W. (Eric) Verbeek; Wil M. P. van der Aalst (CAiSE Forum (Selected Papers), 2011)

Soundness of workflow nets: classification, decidability, and analysis. - Wil M. P. van der Aalst; Kees M. van Hee; Arthur H. M. ter Hofstede; Natalia Sidorova; H. M. W. Verbeek; Marc Voorhoeve; Moe Thandar Wynn (Formal Aspects Comput., 2011)

Creating Sound and Reversible Configurable Process Models Using CoSeNets. - Dennis M. M. Schunselaar; Eric Verbeek 001; Wil M. P. van der Aalst; Hajo A. Reijers (BIS, 2012)

BPI Challenge 2012: The Transition System Case. - Henricus M. W. (Eric) Verbeek (Business Process Management Workshops, 2012)

An Experimental Evaluation of Passage-Based Process Discovery. - Henricus M. W. (Eric) Verbeek; Wil M. P. van der Aalst (Business Process Management Workshops, 2012)

Context-Aware Compliance Checking. - Jan Martijn E. M. van der Werf; H. M. W. Verbeek; Wil M. P. van der Aalst (BPM, 2012)

A Framework for Efficiently Deciding Language Inclusion for Sound Unlabelled WF-Nets. - Dennis M. M. Schunselaar; Eric Verbeek 001; Wil M. P. van der Aalst; Hajo A. Reijers (PNSE+ModPE, 2013)

Decomposing Replay Problems: A Case Study. - Eric Verbeek 001; Wil M. P. van der Aalst (PNSE+ModPE, 2013)

YAWL in the Cloud. - Dennis M. M. Schunselaar; Tim van der Avoort; H. M. W. Verbeek; Wil M. P. van der Aalst (YAWL Symposium, 2013)

Petra: A Tool for Analysing a Process Family. - Dennis M. M. Schunselaar; Eric Verbeek 001; Wil M. P. van der Aalst; Hajo A. Reijers (PNSE @ Petri Nets, 2014)

Supporting Process Mining Workflows with RapidProM. - Ronny Mans; Wil M. P. van der Aalst; H. M. W. Verbeek (BPM (Demos), 2014)

Configuring Configurable Process Models Made Easier: An Automated Approach. - Dennis M. M. Schunselaar; Henrik Leopold; H. M. W. Verbeek; Wil M. P. van der Aalst; Hajo A. Reijers (Business Process Management Workshops, 2014)

YAWL in the Cloud: Supporting Process Sharing and Variability. - Dennis M. M. Schunselaar; H. M. W. Verbeek; Hajo A. Reijers; Wil M. P. van der Aalst (Business Process Management Workshops, 2014)

Decomposed Process Mining with DivideAndConquer. - Eric Verbeek 001 (BPM (Demos), 2014)

Decomposed Process Mining: The ILP Case. - H. M. W. Verbeek; Wil M. P. van der Aalst (Business Process Management Workshops, 2014)

Online Compliance Monitoring of Service Landscapes. - Jan Martijn E. M. van der Werf; H. M. W. Verbeek (Business Process Management Workshops, 2014)

Data Streams in ProM 6: A Single-node Architecture. - Sebastiaan J. van Zelst; Andrea Burattin; Boudewijn F. van Dongen; H. M. W. Verbeek (BPM (Demos), 2014)

Finding Suitable Activity Clusters for Decomposed Process Discovery. - Bart Hompes; Eric Verbeek 001; Wil M. P. van der Aalst (SIMPDA, 2014)

Using Monotonicity to Find Optimal Process Configurations Faster. - Dennis M. M. Schunselaar; Eric Verbeek 001; Hajo A. Reijers; Wil M. P. van der Aalst (SIMPDA, 2014)

Process Discovery and Conformance Checking Using Passages. - Wil M. P. van der Aalst; H. M. W. Verbeek (Fundam. Informaticae, 2014)

Process Discovery Using Localized Events. - Wil M. P. van der Aalst; Anna A. Kalenkova; Vladimir A. Rubin; Eric Verbeek 001 (Petri Nets, 2015)

A Structural Model Comparison for Finding the Best Performing Models in a Collection. - Dennis M. M. Schunselaar; H. M. W. Verbeek; Hajo A. Reijers; Wil M. P. van der Aalst (BPM, 2015)

Decomposed Replay Using Hiding and Reduction. - H. M. W. Verbeek (PNSE @ Petri Nets, 2016)

Merging Alignments for Decomposed Replay. - H. M. W. Verbeek; Wil M. P. van der Aalst (Petri Nets, 2016)

Visual Analytics for Soundness Verification of Process Models. - Humberto S. Garcia Caballero; Michel A. Westenberg; Henricus M. W. (Eric) Verbeek; Wil M. P. van der Aalst (Business Process Management Workshops, 2017)

Replay using Recomposition: Alignment-Based Conformance Checking in the Large. - Wai Lam Jonathan Lee; H. M. W. Verbeek; Jorge Munoz-Gama; Wil M. P. van der Aalst; Marcos Sepúlveda (BPM (Demos), 2017)

IEEE 1849: The XES Standard: The Second IEEE Standard Sponsored by IEEE Computational Intelligence Society [Society Briefs]. - Giovanni Acampora; Autilia Vitiello; Bruno N. Di Stefano; Wil M. P. van der Aalst; Christian W. Günther; Eric Verbeek 001 (IEEE Comput. Intell. Mag., 2017)

Divide and Conquer: A Tool Framework for Supporting Decomposed Discovery in Process Mining. - H. M. W. Verbeek; Wil M. P. van der Aalst; Jorge Munoz-Gama (Comput. J., 2017)

Discovering Relaxed Sound Workflow Nets using Integer Linear Programming. - Sebastiaan J. van Zelst; Boudewijn F. van Dongen; Wil M. P. van der Aalst; H. M. W. Verbeek (CoRR, 2017)

Merging event logs: Combining granularity levels for process flow analysis. - Lihi Raichelson; Pnina Soffer; Eric Verbeek 001 (Inf. Syst., 2017)

Decomposed Replay Using Hiding and Reduction as Abstraction. - H. M. W. Verbeek (Trans. Petri Nets Other Model. Concurr., 2017)

Optimal Algorithms for Compact Linear Layouts. - Willem Sonke; Kevin Verbeek; Wouter Meulemans; Eric Verbeek 001; Bettina Speckmann (PacificVis, 2018)

Fast Incremental Conformance Analysis for Interactive Process Discovery. - Prabhakar M. Dixit; Joos C. A. M. Buijs; H. M. W. Verbeek; Wil M. P. van der Aalst (BIS, 2018)

Improving Merging Conditions for Recomposing Conformance Checking. - Wai Lam Jonathan Lee; Jorge Munoz-Gama; H. M. W. Verbeek; Wil M. P. van der Aalst; Marcos Sepúlveda (Business Process Management Workshops, 2018)

Fast Conformance Analysis Based on Activity Log Abstraction. - Prabhakar M. Dixit; H. M. W. Verbeek; Wil M. P. van der Aalst (EDOC, 2018)

Interactive Data-Driven Process Model Construction. - Prabhakar M. Dixit; H. M. W. Verbeek; Joos C. A. M. Buijs; Wil M. P. van der Aalst (ER, 2018)

Incremental Computation of Synthesis Rules for Free-Choice Petri Nets. - Prabhakar M. Dixit; H. M. W. Verbeek; Wil M. P. van der Aalst (FACS, 2018)

Discovering workflow nets using integer linear programming. - Sebastiaan J. van Zelst; Boudewijn F. van Dongen; Wil M. P. van der Aalst; H. M. W. Verbeek (Computing, 2018)

Log Skeletons: A Classification Approach to Process Discovery. - H. M. W. Verbeek; Renata Medeiros de Carvalho (CoRR, 2018)

Task Elimination may Actually Increase Throughput Time. - Dennis M. M. Schunselaar; H. M. W. Verbeek (CoRR, 2018)

Recomposing conformance: Closing the circle on decomposed alignment-based conformance checking in process mining. - Wai Lam Jonathan Lee; H. M. W. Verbeek; Jorge Munoz-Gama; Wil M. P. van der Aalst; Marcos Sepúlveda (Inf. Sci., 2018)

Rethinking the Input for Process Mining: Insights from the XES Survey and Workshop. - Moe Thandar Wynn; Julian Lebherz; Wil M. P. van der Aalst; Rafael Accorsi; Claudio Di Ciccio; Lakmali Jayarathna; H. M. W. Verbeek (ICPM Workshops, 2021)

Advanced Process Discovery Techniques. - Adriano Augusto; Josep Carmona 001; Eric Verbeek 001 (Process Mining Handbook, 2022)

Discover Context-Rich Local Process Models (Extended Abstract). - Mitchel Brunings; Dirk Fahland; Eric Verbeek 001 (ICPM Doctoral Consortium / Demo, 2022)

Discovering an S-Coverable WF-net using DiSCover. - Eric Verbeek 001 (ICPM, 2022)

The Log Skeleton Visualizer in ProM 6.9. - H. M. W. Verbeek (Int. J. Softw. Tools Technol. Transf., 2022)

Excavating event logs with DiSCover. - Eric Verbeek 001 (ICPM Doctoral Consortium / Demo, 2023)

Generating event logs with CPN IDE. - Eric Verbeek 001; Dirk Fahland (ICPM Doctoral Consortium / Demo, 2023)

Towards a Simple and Extensible Standard for Object-Centric Event Data (OCED) - Core Model, Design Space, and Lessons Learned. - Dirk Fahland; Marco Montali; Julian Lebherz; Wil M. P. van der Aalst; Maarten van Asseldonk; Peter Blank; Lien Bosmans; Marcus Brenscheidt; Claudio Di Ciccio; Andrea Delgado 001; Daniel Calegari; Jari Peeperkorn; et al. (CoRR, 2024)

The IEEE XES Standard for Process Mining: Experiences, Adoption, and Revision [Society Briefs]. - Moe Thandar Wynn; Wil M. P. van der Aalst; Eric Verbeek 001; Bruno N. Di Stefano (IEEE Comput. Intell. Mag., 2024)