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 …

Process mining, an emerging data analytics method, has been used effectively in various
healthcare contexts including oncology, the study of cancer. Cancer is a complex disease …

The declarative specification of business processes is based upon the elicitation of
behavioural rules that constrain the legal executions of the process. The carry-out of the …

Clinical guidelines aim at improving the quality of care processes through evidence-based
insights. However, there may be good reasons to deviate from such guidelines or the …

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 …

Abstract Business Process Management (BPM) aims to improve organizational activities and
their outcomes by managing the underlying processes. To achieve this, it is often necessary …

Conformance checking is a key process mining task for comparing the expected behavior
captured in a process model and the actual behavior recorded in a log. While this problem …

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 …

In a variety of application domains,(business) processes are intrinsically uncertain.
Surprisingly, only very few languages and techniques in BPM consider uncertainty as a first …