H. Verbeek

Publications
Influence

The ProM Framework: A New Era in Process Mining Tool Support

B. F. Dongen, A. K. A. D. Medeiros, H. Verbeek, A. Weijters, W. V. Aalst
Computer Science
ICATPN
20 June 2005

This paper introduces the ProM framework and gives an overview of the plug-ins that have been developed for process mining. Expand

Soundness of workflow nets: classification, decidability, and analysis

W. V. D. Aalst, K. V. Hee, +4 authors M. T. Wynn
Computer Science
Formal Aspects of Computing
1 May 2011

We show that the eight soundness notions described in the literature are decidable for workflow nets. Expand

Business process mining: An industrial application

W. V. Aalst, H. Reijers, +4 authors H. Verbeek
Computer Science
Inf. Syst.
1 July 2007

This paper describes the application of process mining in one of the provincial offices of the Dutch National Public Works Department, responsible for the construction and maintenance of the road and water infrastructure. Expand

XES, XESame, and ProM 6

H. Verbeek, J. Buijs, B. F. Dongen, W. V. Aalst
Engineering, Computer Science
CAiSE Forum
7 June 2010

We propose a new event log format based on eXtensible Event Stream (XES) for process mining. Expand

Process mining: a two-step approach to balance between underfitting and overfitting

W. V. Aalst, V. Rubin, H. Verbeek, B. F. Dongen, E. Kindler, C. Günther
Computer Science
Software & Systems Modeling
2008

Process mining includes the automated discovery of processes from event logs. Expand

Diagnosing Workflow Processes using Woflan

H. Verbeek, T. Basten, W. V. Aalst
Computer Science, Mathematics
Comput. J.
1 April 2001

Workflow management technology promises a flexible solution for business-process support facilitating the easy creation of new business processes and modification of existing processes.… Expand

An Alternative Way to Analyze Workflow Graphs

W. V. Aalst, A. Hirnschall, H. Verbeek
Computer Science
CAiSE
27 May 2002

This paper shows that the set of reduction rules for the detection of structural conflicts presented in [19] is not complete and proposes an alternative algorithm. Expand

ProM 4.0: Comprehensive Support for Real Process Analysis

W. V. Aalst, B. F. Dongen, +7 authors A. Weijters
Computer Science
ICATPN
25 June 2007

This tool paper describes the functionality of ProM. Version 4.0 of ProM has been released at the end of 2006 and this version reflects recent achievements in process mining. Process mining… Expand

Advances in business process management

M. Weske, W. V. Aalst, H. Verbeek
Computer Science
Data Knowl. Eng.
1 July 2004

This special issue of Data & Knowledge Engineering contains extended versions of four papers selected from the best papers of the ‘‘International Conference on Business Process Management: On the Application of Formal Methods to Process-Aware Information Systems’’ that took place in Eindhoven (The Netherlands) in June 2003. Expand

Business process verification - finally a reality!

M. T. Wynn, H. Verbeek, W. V. Aalst, A. Hofstede, D. Edmond
Computer Science
Bus. Process. Manag. J.
6 February 2009

Bis(aminophenyl) ethers are prepared by effecting condensation reaction of an (N-acetyl)aminophenol with a halonitrobenzene and hydrogenating the nitro group thereof under nitro- group hydrogenation conditions. Expand

Recommended Authors