Given a process model and an event log, conformance checking aims to relate the two
together, eg to detect discrepancies between them. For the synchronous product net of the …

Since their introduction, process trees have been frequently used as a process modeling
formalism in many process mining algorithms. A process tree is a (mathematical) tree-based …

Conformance checking is a class of process mining techniques, which contrasts the
modeled behaviors with the observed behaviors of a process, to detect, locate and explain …

Process mining represents a collection of data driven techniques that support the analysis,
understanding and improvement of business processes. A core branch of process mining is …

The execution of (business) processes often deviates from their behavioral specification (eg,
captured in a BPMN model). Conformance checking techniques evaluate whether event …

Background: Process discovery aims at learning a process model from event logs. With the
increasing volume of data there is quickly too much data to efficiently analyse using current …

Conformance checking is a process mining task where observed process executions are
compared with the conduct prescribed by a process model. Even in the case where multiple …

In the recent years, process mining has been gaining traction as a tool for analyzing and
improving processes in the industry as exemplified by companies such as Disco, Celonis …