11 citations · 40 across the 18 of their papers we have counts for
3 papers · 1 filter
On the Reconstructability and Rediscoverability of Typed Jackson Nets (Extended Version)
Daniël Barenholz, Marco Montali, Artem Polyvyanyy +3
A process discovery algorithm aims to construct a model from data generated by historical system executions such that the model describes the system well. Consequently, one desired…
Reactive Synthesis for DECLARE via symbolic automata
Luca Geatti, Marco Montali, Andrey Rivkin
Given a specification of linear-time temporal logic interpreted over finite traces (LTLf), the reactive synthesis problem asks to find a finitely-representable, terminating control…
Correctness Notions for Petri Nets with Identifiers
Jan Martijn E. M. van der Werf, Andrey Rivkin, Marco Montali +1
A model of an information system describes its processes and how resources are involved in these processes to manipulate data objects. This paper presents an extension to the Petri…