• Publications
  • Influence
The ProM Framework: A New Era in Process Mining Tool Support
TLDR
This paper introduces the ProM framework and gives an overview of the plug-ins that have been developed for process mining. Expand
  • 895
  • 76
  • PDF
Soundness of workflow nets: classification, decidability, and analysis
TLDR
We show that the eight soundness notions described in the literature are decidable for workflow nets. Expand
  • 338
  • 41
  • PDF
Business process mining: An industrial application
TLDR
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
  • 773
  • 31
  • PDF
XES, XESame, and ProM 6
TLDR
We propose a new event log format based on eXtensible Event Stream (XES) for process mining. Expand
  • 270
  • 29
  • PDF
Process mining: a two-step approach to balance between underfitting and overfitting
TLDR
Process mining includes the automated discovery of processes from event logs. Expand
  • 350
  • 26
  • PDF
Diagnosing Workflow Processes using Woflan
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
  • 399
  • 24
  • PDF
An Alternative Way to Analyze Workflow Graphs
TLDR
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
  • 199
  • 17
  • PDF
ProM 4.0: Comprehensive Support for Real Process Analysis
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 miningExpand
  • 223
  • 12
  • PDF
Advances in business process management
TLDR
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
  • 221
  • 9
  • PDF
Business process verification - finally a reality!
TLDR
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
  • 156
  • 9
  • PDF