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 …

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 …

Conformance checking, one of the central tasks in process mining, compares the expected
behavior described by a reference process model to the actual behavior recorded in an …

Process mining supports the analysis of the actual behavior and performance of business
processes using event logs. An essential requirement is that every event in the log must be …

Human behavior could be represented in the form of a process. Existing process modeling
notations, however, are not able to faithfully represent these very flexible and unstructured …

Process mining is a discipline sitting between data mining and process science, whose goal
is to provide theoretical methods and software tools to analyse process execution data …

Process mining aims to analyse business process behaviour by discovering process models
such as Petri nets from process executions recorded as sequential traces in event logs …

Test-driven declarative process modelling combines process models with test traces and
has been introduced as a means to achieve both the flexibility provided by the declarative …

Processes tend to interact with other processes and operate on various objects of different
types. These objects can influence each other creating dependencies between sub …

Logs of real-life processes often feature uncertainty pertaining the recorded timestamps,
data values, and/or events. We consider the problem of checking conformance of uncertain …