Skip to Main content Skip to Navigation
Journal articles

A Tour in Process Mining: From Practice to Algorithmic Challenges

Abstract : Process mining seeks the confrontation between modeled behavior and observed behavior. In recent years, process mining techniques managed to bridge the gap between traditional model-based process analysis (e.g., simulation and other business process management techniques) and data-centric analysis techniques such as machine learning and data mining. Process mining is used by many data-driven organizations as a means to improve performance or to ensure compliance. Traditionally, the focus was on the discovery of process models from event logs describing real process executions. However, process mining is not limited to process discovery and also includes conformance checking. Process models (discovered or hand-made) may deviate from reality. Therefore, we need powerful means to analyze discrepancies between models and logs. These are provided by conformance checking techniques that first align modeled and observed behavior, and then compare both. The resulting alignments are also used to enrich process models with performance related information extracted from the event log. This tutorial paper focuses on the control-flow perspective and describes a range of process discovery and conformance checking techniques. The goal of the paper is to show the algorithmic challenges in process mining. We will show that process mining provides a wealth of opportunities for people doing research on Petri nets and related models of concurrency.
Document type :
Journal articles
Complete list of metadata

Cited literature [57 references]  Display  Hide  Download
Contributor : Thomas Chatain Connect in order to contact the contributor
Submitted on : Tuesday, January 14, 2020 - 4:25:31 PM
Last modification on : Wednesday, July 21, 2021 - 2:36:01 PM


Files produced by the author(s)



Wil van der Aalst, Josep Carmona, Thomas Chatain, Boudewijn van Dongen. A Tour in Process Mining: From Practice to Algorithmic Challenges. LNCS Transactions on Petri Nets and Other Models of Concurrency, Springer, 2019, ⟨10.1007/978-3-662-60651-3_1⟩. ⟨hal-02419141⟩



Record views


Files downloads