H. M. W. Verbeek

According to our database, H. M. W. Verbeek authored at least 99 papers between 1999 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of three.

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, Bruno N. Di Stefano

IEEE Comput. Intell. Mag., February, 2024

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, Daniel Calegari, Jari Peeperkorn, Eric Verbeek, Lotte Vugs, Moe Thandar Wynn

CoRR, 2024

2023

Generating event logs with CPN IDE.

Eric Verbeek, Dirk Fahland

Proceedings of the Doctoral Consortium and Demo Track 2023 at the International Conference on Process Mining 2023 co-located with the 5th International Conference on Process Mining (ICPM 2023), 2023

Excavating event logs with DiSCover.

Eric Verbeek

Proceedings of the Doctoral Consortium and Demo Track 2023 at the International Conference on Process Mining 2023 co-located with the 5th International Conference on Process Mining (ICPM 2023), 2023

2022

The Log Skeleton Visualizer in ProM 6.9.

H. M. W. Verbeek

Int. J. Softw. Tools Technol. Transf., 2022

Discovering an S-Coverable WF-net using DiSCover.

Eric Verbeek

Proceedings of the 4th International Conference on Process Mining, 2022

Discover Context-Rich Local Process Models (Extended Abstract).

Mitchel Brunings, Dirk Fahland, Eric Verbeek

Proceedings of the ICPM Doctoral Consortium and Demo Track 2022 co-located with 4th International Conference on Process Mining (ICPM 2022), 2022

Advanced Process Discovery Techniques.

Adriano Augusto, Josep Carmona, Eric Verbeek

Proceedings of the Process Mining Handbook, 2022

2021

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

Proceedings of the Process Mining Workshops - ICPM 2021 International Workshops, Eindhoven, The Netherlands, October 31, 2021

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

Task Elimination may Actually Increase Throughput Time.

Dennis M. M. Schunselaar, H. M. W. Verbeek

CoRR, 2018

Log Skeletons: A Classification Approach to Process Discovery.

H. M. W. Verbeek, Renata Medeiros de Carvalho

CoRR, 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

Incremental Computation of Synthesis Rules for Free-Choice Petri Nets.

Prabhakar M. Dixit, H. M. W. Verbeek, Wil M. P. van der Aalst

Proceedings of the Formal Aspects of Component Software - 15th International Conference, 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

Proceedings of the Conceptual Modeling - 37th International Conference, 2018

Fast Conformance Analysis Based on Activity Log Abstraction.

Prabhakar M. Dixit, H. M. W. Verbeek, Wil M. P. van der Aalst

Proceedings of the 22nd IEEE International Enterprise Distributed Object Computing Conference, 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

Proceedings of the Business Process Management Workshops, 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

Proceedings of the Business Information Systems - 21st International Conference, 2018

Optimal Algorithms for Compact Linear Layouts.

Willem Sonke, Kevin Verbeek, Wouter Meulemans, Eric Verbeek, Bettina Speckmann

Proceedings of the IEEE Pacific Visualization Symposium, 2018

2017

Decomposed Replay Using Hiding and Reduction as Abstraction.

H. M. W. Verbeek

Trans. Petri Nets Other Model. Concurr., 2017

Merging event logs: Combining granularity levels for process flow analysis.

Lihi Raichelson, Pnina Soffer, Eric Verbeek

Inf. Syst., 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

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

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

IEEE Comput. Intell. Mag., 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

Proceedings of the BPM Demo Track and BPM Dissertation Award co-located with 15th International Conference on Business Process Modeling (BPM 2017), 2017

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

Proceedings of the Business Process Management Workshops, 2017

2016

Merging Alignments for Decomposed Replay.

H. M. W. Verbeek, Wil M. P. van der Aalst

Proceedings of the Application and Theory of Petri Nets and Concurrency, 2016

Decomposed Replay Using Hiding and Reduction.

H. M. W. Verbeek

Proceedings of the International Workshop on Petri Nets and Software Engineering 2016, 2016

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

Proceedings of the Business Process Management - 13th International Conference, 2015

Process Discovery Using Localized Events.

Wil M. P. van der Aalst, Anna A. Kalenkova, Vladimir A. Rubin, Eric Verbeek

Proceedings of the Application and Theory of Petri Nets and Concurrency, 2015

2014

Process Discovery and Conformance Checking Using Passages.

Wil M. P. van der Aalst, H. M. W. Verbeek

Fundam. Informaticae, 2014

Using Monotonicity to Find Optimal Process Configurations Faster.

Dennis M. M. Schunselaar, Eric Verbeek, Hajo A. Reijers, Wil M. P. van der Aalst

Proceedings of the 4th International Symposium on Data-driven Process Discovery and Analysis (SIMPDA 2014), 2014

Finding Suitable Activity Clusters for Decomposed Process Discovery.

Bart Hompes, Eric Verbeek, Wil M. P. van der Aalst

Proceedings of the 4th International Symposium on Data-driven Process Discovery and Analysis (SIMPDA 2014), 2014

Data Streams in ProM 6: A Single-node Architecture.

Sebastiaan J. van Zelst, Andrea Burattin, Boudewijn F. van Dongen, H. M. W. Verbeek

Proceedings of the BPM Demo Sessions 2014 Co-located with the 12th International Conference on Business Process Management (BPM 2014), 2014

Online Compliance Monitoring of Service Landscapes.

Jan Martijn E. M. van der Werf, H. M. W. Verbeek

Proceedings of the Business Process Management Workshops, 2014

Decomposed Process Mining: The ILP Case.

H. M. W. Verbeek, Wil M. P. van der Aalst

Proceedings of the Business Process Management Workshops, 2014

Decomposed Process Mining with DivideAndConquer.

Eric Verbeek

Proceedings of the BPM Demo Sessions 2014 Co-located with the 12th International Conference on Business Process Management (BPM 2014), 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

Proceedings of the Business Process Management Workshops, 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

Proceedings of the Business Process Management Workshops, 2014

Supporting Process Mining Workflows with RapidProM.

Ronny Mans, Wil M. P. van der Aalst, H. M. W. Verbeek

Proceedings of the BPM Demo Sessions 2014 Co-located with the 12th International Conference on Business Process Management (BPM 2014), 2014

Petra: A Tool for Analysing a Process Family.

Dennis M. M. Schunselaar, Eric Verbeek, Wil M. P. van der Aalst, Hajo A. Reijers

Proceedings of the International Workshop on Petri Nets and Software Engineering, 2014

2013

YAWL in the Cloud.

Dennis M. M. Schunselaar, Tim van der Avoort, H. M. W. Verbeek, Wil M. P. van der Aalst

Proceedings of the First YAWL Symposium, Sankt Augustin, Germany, June 7, 2013, 2013

Decomposing Replay Problems: A Case Study.

Eric Verbeek, Wil M. P. van der Aalst

Proceedings of the Joint Proceedings of the International Workshop on Petri Nets and Software Engineering (PNSE'13) and the International Workshop on Modeling and Business Environments (ModBE'13), Milano, Italy, June 24, 2013

A Framework for Efficiently Deciding Language Inclusion for Sound Unlabelled WF-Nets.

Dennis M. M. Schunselaar, Eric Verbeek, Wil M. P. van der Aalst, Hajo A. Reijers

Proceedings of the Joint Proceedings of the International Workshop on Petri Nets and Software Engineering (PNSE'13) and the International Workshop on Modeling and Business Environments (ModBE'13), Milano, Italy, June 24, 2013

2012

Context-Aware Compliance Checking.

Jan Martijn E. M. van der Werf, H. M. W. Verbeek, Wil M. P. van der Aalst

Proceedings of the Business Process Management - 10th International Conference, 2012

An Experimental Evaluation of Passage-Based Process Discovery.

Henricus M. W. (Eric) Verbeek, Wil M. P. van der Aalst

Proceedings of the Business Process Management Workshops, 2012

BPI Challenge 2012: The Transition System Case.

Henricus M. W. (Eric) Verbeek

Proceedings of the Business Process Management Workshops, 2012

Creating Sound and Reversible Configurable Process Models Using CoSeNets.

Dennis M. M. Schunselaar, Eric Verbeek, Wil M. P. van der Aalst, Hajo A. Reijers

Proceedings of the Business Information Systems - 15th International Conference, 2012

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

Discovering Hierarchical Process Models Using ProM.

R. P. Jagadeesh Chandra Bose, Henricus M. W. (Eric) Verbeek, Wil M. P. van der Aalst

Proceedings of the IS Olympics: Information Systems in a Diverse World, 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

Proceedings of the Business Process Management Workshops, 2011

Process Mining Manifesto.

Wil M. P. van der Aalst, Arya Adriansyah, Ana Karla Alves de Medeiros, Franco Arcieri, Thomas Baier, Tobias Blickle, R. P. Jagadeesh Chandra Bose, Peter van den Brand, Ronald Brandtjen, Joos C. A. M. Buijs, Andrea Burattin, Josep Carmona, Malú Castellanos, Jan Claes, Jonathan E. Cook, Nicola Costantini, Francisco Curbera, Ernesto Damiani, Massimiliano de Leoni, Pavlos Delias, Boudewijn F. van Dongen, Marlon Dumas, Schahram Dustdar, Dirk Fahland, Diogo R. Ferreira, Walid Gaaloul, Frank van Geffen, Sukriti Goel, Christian W. Günther, Antonella Guzzo, Paul Harmon, Arthur H. M. ter Hofstede, John Hoogland, Jon Espen Ingvaldsen, Koki Kato, Rudolf Kuhn, Akhil Kumar, Marcello La Rosa, Fabrizio Maria Maggi, Donato Malerba, R. S. Mans, Alberto Manuel, Martin McCreesh, Paola Mello, Jan Mendling, Marco Montali, Hamid R. Motahari Nezhad, Michael zur Muehlen, Jorge Munoz-Gama, Luigi Pontieri, Joel Ribeiro, Anne Rozinat, Hugo Seguel Pérez, Ricardo Seguel Pérez, Marcos Sepúlveda, Jim Sinur, Pnina Soffer, Minseok Song, Alessandro Sperduti, Giovanni Stilo, Casper Stoel, Keith D. Swenson, Maurizio Talamo, Wei Tan, Chris Turner, Jan Vanthienen, George Varvaressos, Eric Verbeek, Marc Verdonk, Roberto Vigo, Jianmin Wang, Barbara Weber, Matthias Weidlich, Ton Weijters, Lijie Wen, Michael Westergaard, Moe Thandar Wynn

Proceedings of the Business Process Management Workshops, 2011

Efficient Implementation of Prioritized Transitions for High-level Petri Nets.

Michael Westergaard, Henricus M. W. (Eric) Verbeek

Proceedings of the International Workshop on Petri Nets and Software Engineering, 2011

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

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

XES Tools.

Eric Verbeek, Joos C. A. M. Buijs, Boudewijn F. van Dongen, Wil M. P. van der Aalst

Proceedings of the CAiSE Forum 2010, Hammamet, Tunisia, June 9-11, 2010, 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

Proceedings of the Information Systems Evolution, 2010

ProM 6: The Process Mining Toolkit.

Eric Verbeek, Joos C. A. M. Buijs, Boudewijn F. van Dongen, Wil M. P. van der Aalst

Proceedings of the Business Process Management 2010 Demonstration Track, 2010

Verification.

Eric Verbeek, Moe Thandar Wynn

Proceedings of the Modern Business Process Automation - YAWL and its Support Environment, 2010

2009

Petri Net Transformations for Business Processes - A Survey.

Niels Lohmann, Eric Verbeek, Remco M. Dijkman

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

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

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

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

Comparing and evaluating Petri net semantics for BPEL.

Niels Lohmann, Eric Verbeek, Chun Ouyang, Christian Stahl

Int. J. Bus. Process. Integr. Manag., 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

ProM: The Process Mining Toolkit.

Wil M. P. van der Aalst, Boudewijn F. van Dongen, Christian W. Günther, Anne Rozinat, Eric Verbeek, Ton Weijters

Proceedings of the Business Process Management Demonstration Track (BPMDemos 2009), 2009

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

Conformance checking of service behavior.

Wil M. P. van der Aalst, Marlon Dumas, Chun Ouyang, Anne Rozinat, Eric Verbeek

ACM Trans. Internet Techn., 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

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

Process Mining in Web Services: The WebSphere Case.

Wil M. P. van der Aalst, H. M. W. Verbeek

IEEE Data Eng. Bull., 2008

2007

Formal semantics and analysis of control flow in WS-BPEL.

Chun Ouyang, Eric Verbeek, Wil M. P. van der Aalst, Stephan Breutel, Marlon Dumas, Arthur H. M. ter Hofstede

Sci. Comput. Program., 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, H. M. W. Verbeek

Inf. Syst., 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

Data Knowl. Eng., 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

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

ProM 4.0: Comprehensive Support for <i>Real</i> 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, H. M. W. Verbeek, A. J. M. M. Weijters

Proceedings of the Petri Nets and Other Models of Concurrency, 2007

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, Wil M. P. van der Aalst

Proceedings of the 5. Workshop der Gesellschaft für Informatik e.V. (GI) und Treffen ihres Arbeitskreises "Geschäftsprozessmanagement mit Ereignisgesteuerten Prozessketten (WI-EPK)", Wien, 30. November, 2006

Choreography Conformance Checking: An Approach based on BPEL and Petri Nets.

Wil M. P. van der Aalst, Marlon Dumas, Chun Ouyang, Anne Rozinat, H. M. W. Verbeek

Proceedings of the Role of Business Processes in Service Oriented Architectures, 16.07., 2006

Interoperability in the ProM Framework.

H. M. W. Verbeek, Boudewijn F. van Dongen, Jan Mendling, Wil M. P. van der Aalst

Proceedings of the EMOI, 2006

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

Proceedings of the Business Process Management, 4th International Conference, 2006

2005

WofBPEL: A Tool for Automated Analysis of BPEL Processes.

Chun Ouyang, Eric Verbeek, Wil M. P. van der Aalst, Stephan Breutel, Marlon Dumas, Arthur H. M. ter Hofstede

Proceedings of the Service-Oriented Computing, 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

Proceedings of the Formal Techniques for Computer Systems and Business Processes, 2005

Verification of EPCs: Using Reduction Rules and Petri Nets.

Boudewijn F. van Dongen, Wil M. P. van der Aalst, H. M. W. Verbeek

Proceedings of the Advanced Information Systems Engineering, 17th International Conference, 2005

Protos 7.0: Simulation Made Accessible.

Eric Verbeek, Maarte van Hattem, Hajo A. Reijers, Wendy de Munk

Proceedings of the Applications and Theory of Petri Nets 2005, 2005

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

Proceedings of the Applications and Theory of Petri Nets 2005, 2005

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

Inf. Technol. Manag., 2004

Advances in business process management.

Mathias Weske, Wil M. P. van der Aalst, H. M. W. Verbeek

Data Knowl. Eng., 2004

Transit Case Study.

Eric Verbeek, Robert A. van der Toorn

Proceedings of the Applications and Theory of Petri Nets 2004, 2004

2003

Organizational Modeling in UML and XML in the Context of Workflow Systems.

Wil M. P. van der Aalst, Akhil Kumar, H. M. W. Verbeek

Proceedings of the 2003 ACM Symposium on Applied Computing (SAC), 2003

Deciding Life-Cycle Inheritance on Petri Nets.

H. M. W. Verbeek, Twan Basten

Proceedings of the Applications and Theory of Petri Nets 2003, 2003

2002

Dynamic Work Distribution in Workflow Management Systems: How to Balance Quality and Performance.

Akhil Kumar, Wil M. P. van der Aalst, Henricus M. W. (Eric) Verbeek

J. Manag. Inf. Syst., 2002

XRL/Flower: Supporting Inter-organizational Workflows Using XML/Petri-Net Technology.

H. M. W. Verbeek, Alexander Hirnschall, Wil M. P. van der Aalst

Proceedings of the Web Services, 2002

An Alternative Way to Analyze Workflow Graphs.

Wil M. P. van der Aalst, Alexander Hirnschall, H. M. W. Verbeek

Proceedings of the Advanced Information Systems Engineering, 14th International Conference, 2002

2001

Diagnosing Workflow Processes using Woflan.

H. M. W. Verbeek, Twan Basten, Wil M. P. van der Aalst

Comput. J., 2001

Verification of XRL: An XML-based Workflow Language.

Wil M. P. van der Aalst, H. M. W. Verbeek, Akhil Kumar

Proceedings of the Sixth International Conference on Computer Supported Cooperative Work in Design, 2001

2000

Woflan 2.0: A Petri-Net-Based Workflow Diagnosis Tool.

Eric Verbeek, Wil M. P. van der Aalst

Proceedings of the Application and Theory of Petri Nets 2000, 2000

1999

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

Proceedings of the 1st International Conference on Enterprise Information Systems, 1999