This paper studies an approach to planning with PDDL3 constraints involving mixed
propositional and numeric conditions, as well as metric time constraints. We show how the …

The need to model and analyse dynamic systems operating over complex data is ubiquitous
in AI and neighboring areas, in particular business process management. Analysing such …

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 …

A model of an information system describes its processes and how these processes
manipulate data objects. Object-aware extensions of Petri nets focus on modeling the life …

Abstract We study Linear Temporal Logic Modulo Theories over Finite Traces (LTL MT f), a
recently introduced extension of LTL over finite traces (LTL f) where propositions are …

We study monitoring of linear-time arithmetic properties against finite traces generated by an
unknown dynamic system. The monitoring state is determined by considering at once the …

Data-aware processes represent and integrate structural and behavioural constraints in a
single model, and are thus increasingly investigated in business process management and …

Within the growing area of data-aware processes, Data Petri nets (DPNs) with arithmetic
data have recently gained popularity thanks to their ability to balance simplicity with …

The analysis of complex dynamic systems is a core research topic in formal methods and AI,
and combined modelling of systems with data has gained increasing importance in …

During recent years, significant research has been done in the direction of enriching the
traditional control-flow perspective of processes with additional dimensions, such as data …