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 …

The digitalization of our society is only possible in secure software systems governing
ongoing critical processes. The understanding of mutual interdependencies of events and …

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 …

Streaming process mining refers to the set of techniques and tools which have the goal of
processing a stream of data (as opposed to a finite event log). The goal of these techniques …

As business environments become more dynamic and complex, it becomes indispensable
for organizations to objectively analyze business processes, monitor the existing and …

Online process mining refers to a class of techniques for analyzing in real-time event
streams generated by the execution of business processes. These techniques are crucial in …

The Internet of Things (IoT) enables software-based access to vast amounts of data streams
from sensors measuring physical and virtual properties of smart devices and their …

Token-based replay used to be the standard way to conduct conformance checking. With the
uptake of more advanced techniques (eg, alignment based), token-based replay got …

Generally, companies and organizations can greatly improve their business processes by
suitably monitoring and analyzing the log data that they gather for these processes in the …