no code implementations • 13 Dec 2023 • Alessandro Gianola, Marco Montali, Sarah Winkler
In this paper, we present a new formalism that combines the key modelling features of two existing approaches, in particular the ability of object-centric Petri nets to capture one-to-many relations and the one of Petri nets with identifiers to compare and synchronize objects based on their identity.
no code implementations • 31 Jul 2023 • Luca Geatti, Alessandro Gianola, Nicola Gigante, Sarah Winkler
We study Linear Temporal Logic Modulo Theories over Finite Traces (LTLfMT), a recently introduced extension of LTL over finite traces (LTLf) where propositions are replaced by first-order formulas and where first-order variables referring to different time points can be compared.
no code implementations • 15 Jun 2022 • Paolo Felli, Alessandro Gianola, Marco Montali, Andrey Rivkin, Sarah Winkler
Logs of real-life processes often feature uncertainty pertaining the recorded timestamps, data values, and/or events.
no code implementations • 28 Mar 2022 • Paolo Felli, Marco Montali, Sarah Winkler
The implementation is validated on a collection of examples from the literature, and on synthetic variants constructed from such examples.
no code implementations • 15 Mar 2022 • Paolo Felli, Marco Montali, Sarah Winkler
Combined modeling and verification of dynamic systems and the data they operate on has gained momentum in AI and in several application domains.
no code implementations • 18 Mar 2021 • Paolo Felli, Alessandro Gianola, Marco Montali, Andrey Rivkin, Sarah Winkler
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.
1 code implementation • 11 Dec 2020 • Sarah Winkler, Georg Moser
Logically constrained rewrite systems (LCTRSs) are a versatile and efficient rewriting formalism that can be used to model programs from various programming paradigms, as well as simplification systems in compilers and SMT solvers.
Computational Complexity Logic in Computer Science
no code implementations • 26 Dec 2019 • Martin Suda, Sarah Winkler
These are the post-proceedings of the second ARCADE workshop, which took place on the 26th August 2019 in Natal, Brazil, colocated with CADE-27.
Logic in Computer Science