Process mining is a growing and promising study area focused on understanding processes
and to help capture the more significant findings during real execution rather than, those …

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 can be viewed as the missing link between model-based process analysis
and data-oriented analysis techniques. Lion׳ s share of process mining research has been …

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 …

Process mining is a family of techniques that aim at analyzing business process execution
data recorded in event logs. Conformance checking is a branch of this discipline embracing …

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 …

Event sequence data is increasingly available. Many business operations are supported by
information systems that record transactions, events, state changes, message exchanges …

Process mining applies robust methodologies using data mining and machine learning for
pattern recognition, using models that represent the process flow identified by the sequence …

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 …