Over the past few years, several software companies have emerged that offer process
mining tools to assist enterprises in gaining insights into their process executions. However …

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 …

Inconsistency is a core problem in fields such as AI and data-intensive systems. In this work,
we address the problem of measuring inconsistency in declarative process specifications …

Within the process mining field, Deterministic Finite State Automata (DFAs) are largely
employed as foundation mechanisms to perform formal reasoning tasks over the information …

Alignments are a conformance checking strategy quantifying the amount of deviations of a
trace with respect to a process model, as well as providing optimal repairs for making the …

In process mining, procedural process models can be difficult to manage when the process
is unpredictable and characterized by many possible exceptions since they can easily …

Runtime monitoring is a central operational decision support task in business process
management. It helps process executors to check on-the-fly whether a running process …

So far, approaches for business process modeling, enactment and monitoring have mainly
been based on process specifications consisting of a single process model. This setting …

Case Management has been evolving to support knowledge-intensive business process
management, resulting in different modeling languages, eg, Declare, Dynamic Condition …

Process Mining is a family of techniques for analyzing business process execution data
recorded in event logs. Process models can be obtained as output of automated process …