1 citations · 1 across the 1 of their papers we have counts for
2 papers
cs.FL2023★ 1 cited
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…
cs.FL2022
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…