Techniques to discover Petri nets from event data assume precisely one case identifier per
event. These case identifiers are used to correlate events, and the resulting discovered Petri …

In the business process lifecycle, models can be approached from two perspectives: on the
one hand, models are used to create systems in the design phase, and on the other hand …

A quite flourishing research thread in the recent literature on component-based systems is
concerned with the algebraic properties of different classes of connectors. In a recent paper …

Organizations execute decisions within business processes on a daily basis whilst having to
take into account multiple stakeholders who might require multiple point of views of the …

As the real world is full of uncertainty, we often estimate, or even guess to quantify
uncertainty. Probabilistic models are the key to cope with uncertainty. One of the most …

Recently, the consideration of data aspects has seen a surge in interest both from the
perspective of designing processes as from a model discovery perspective. However, it …

Process mining aims to comprehend and enhance business processes by analyzing event
logs. Recently, object-centric process mining has gained traction by considering multiple …

Process mining aims to comprehend and enhance business processes by analyzing event
logs. Recently, object-centric process mining has gained traction by considering multiple …

In this paper we present a brief overview of a representative fragment of the theory of
regions. Regions are a powerful tool for the synthesis of concurrent systems from a …

Model checking is an established strategy for automatic verification of software and
hardware systems. It supports extensive analyses of the properties of states and behaviours …