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 …

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 …

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 …

Capturing stochastic behaviour in business and work processes is essential to quantitatively
understand how nondeterminism is resolved when taking decisions within the process. This …

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 …

Interest in stochastic models for business processes has been revived in a recent series of
studies on uncertainty in process models and event logs, with corresponding process mining …

A temporal model describes processes as a sequence of observable events characterised
by distinguishable actions in time. Conformance checking allows these models to determine …

Conformance checking focuses on quantifying behavioral differences between desired and
observed process behavior. Stochastic conformance checking considers not only the …

When it comes to data, the world has seen a tremendous change from the days back then
when data was neatly stored in well-organized, centrally managed, carefully monitored …