Techniques to discover Petri nets from event data assume precisely one case identifier per
event. These case identifiers are used to correlate events, and the resulting discovered Petri …

Process mining is the research domain that is dedicated to the a posteriori analysis of
business process executions. The techniques developed within this research area are …

Event data are collected in logistics, manufacturing, finance, health care, customer
relationship management, e‐learning, e‐government, and many other domains. The events …

Eric Badouel · Luca Bernardinello Philippe Darondeau Page 1 Texts in Theoretical Computer
Science An EATCS Series Petri Net Synthesis Eric Badouel · Luca Bernardinello Philippe …

Given the challenges associated to the process discovery task, more than a hundred
research studies addressed the problem over the past two decades. Despite the richness of …

Due to the omnipresence of digitally supported processes and storage facilities nowadays,
plenty of organisational data is available in the typical organisation. Process mining aims to …

Process discovery techniques automatically extract the real workflow of a process by
analyzing the events that are collected and stored in log files. Although in the last years …

Abstract Concept drift is an important concern for any data analysis scenario involving
temporally ordered data. In the last decade Process mining arose as a discipline that uses …

A central problem in the area of Process Mining is to obtain a formal model that represents
selected behavior of a system. The theory of regions has been applied to address this …

This paper reports on the potential of process mining as a basis for security audits of
business process and corresponding business process management systems. In particular …