11 citations · 40 across the 18 of their papers we have counts for
3 papers · 1 filter
Soundness in Object-centric Workflow Petri Nets
Irina A. Lomazova, Alexey A. Mitsyuk, Andrey Rivkin
Recently introduced Petri net-based formalisms advocate the importance of proper representation and management of case objects as well as their co-evolution. In this work we build…
Monitoring Hybrid Process Specifications with Conflict Management: The Automata-theoretic Approach
Anti Alman, Fabrizio Maria Maggi, Marco Montali +2
Business process monitoring approaches have thus far mainly focused on monitoring the execution of a process with respect to a single process model. However, in some cases it is ne…
CoCoMoT: Conformance Checking of Multi-Perspective Processes via SMT (Extended Version)
Paolo Felli, Alessandro Gianola, Marco Montali +2
Conformance checking is a key process mining task for comparing the expected behavior captured in a process model and the actual behavior recorded in a log. While this problem has…