145 citations · 360 across the 54 of their papers we have counts for
7 papers · 1 filter
Object-Centric Conformance Alignments with Synchronization (Extended Version)
Alessandro Gianola, Marco Montali, Sarah Winkler
Real-world processes operate on objects that are inter-dependent. To accurately reflect the nature of such processes, object-centric process mining techniques are needed, notably c…
Advancements and Challenges in Object-Centric Process Mining: A Systematic Literature Review
Alessandro Berti, Marco Montali, Wil M. P. van der Aalst
Recent years have seen the emergence of object-centric process mining techniques. Born as a response to the limitations of traditional process mining in analyzing event data from p…
Linear-Time Verification of Data-Aware Processes Modulo Theories via Covers and Automata (Extended Version)
Alessandro Gianola, Marco Montali, Sarah Winkler
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 data-…
A Semantic Approach to Decidability in Epistemic Planning (Extended Version)
Alessandro Burigana, Paolo Felli, Marco Montali +1
The use of Dynamic Epistemic Logic (DEL) in multi-agent planning has led to a widely adopted action formalism that can handle nondeterminism, partial observability and arbitrary kn…
DELPHIC: Practical DEL Planning via Possibilities (Extended Version)
Alessandro Burigana, Paolo Felli, Marco Montali
Dynamic Epistemic Logic (DEL) provides a framework for epistemic planning that is capable of representing non-deterministic actions, partial observability, higher-order knowledge a…
Enjoy the Silence: Analysis of Stochastic Petri Nets with Silent Transitions
Sander J. J. Leemans, Fabrizio M. Maggi, Marco Montali
Capturing stochastic behaviors in business and work processes is essential to quantitatively understand how nondeterminism is resolved when taking decisions within the process. Thi…