Business Process Management (BPM) research resulted in a plethora of methods,
techniques, and tools to support the design, enactment, management, and analysis of …

Process mining techniques use event data to discover process models, to check the
conformance of predefined process models, and to extend such models with information …

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 …

Business processes represent one of the core assets of organisations for many reasons.
They have direct impact on the attractiveness of products and services, influence customer …

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 …

Initially, process mining focused on discovering process models from event data, but in
recent years the use and importance of conformance checking has increased. Conformance …

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 …

Declarative process models define the behaviour of business processes as a set of
constraints. Declarative process discovery aims at inferring such constraints from event logs …

While the maturity of process mining algorithms increases and more process mining tools
enter the market, process mining projects still face the problem of different levels of …