Conformance checking is a set of process mining functions that compare process instances
with a given process model. It identifies deviations between the process instances' actual …

A model is an artefact to represent a specific concept. It maps properties of the concept into
some abstract representation, driven by the purpose of the model. As such, models …

Organizations maintain process models that describe or prescribe how cases (eg, orders)
are handled. However, reality may not agree with what is modeled. Conformance checking …

By relating observed and modelled behaviour, conformance checking unleashes the full
power of process mining. Techniques from this discipline enable the analysis of the quality …

Process discovery, ie, learning process models from event logs, has attracted the attention of
researchers and practitioners. Today, there exists a wide variety of process mining …

This thesis is about process mining: the analysis an organization's processes by using
process execution data. During the handling of a case or process instance data about the …

Process mining is an emerging discipline incorporating methods and tools for the analysis of
system/process executions captured in the form of event logs [1]. Traditionally process …

Process mining techniques relate observed behavior (ie, event logs) to modeled behavior
(eg, a BPMN model or a Petri net). Process models can be discovered from event logs and …

Modern organizations have invested in collections of descriptive and/or normative process
models, but these rarely describe the actual processes adequately. Therefore, a variety of …

Conformance checking is a key process mining task to confront the normative behavior
imposed by a process model with the actual behavior recorded in a log. While this problem …