50 citations · 87 across the 11 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…
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…
Monotone Precision and Recall Measures for Comparing Executions and Specifications of Dynamic Systems
Artem Polyvyanyy, Andreas Solti, Matthias Weidlich +2
The behavioural comparison of systems is an important concern of software engineering research. For example, the areas of specification discovery and specification mining are conce…