2 citations · 3 across the 5 of their papers we have counts for
5 papers
Data Petri Nets meet Probabilistic Programming (Extended version)
Martin Kuhn, Joscha Grüger, Christoph Matheja +1
Probabilistic programming (PP) is a programming paradigm that allows for writing statistical models like ordinary programs, performing simulations by running those programs, and an…
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…
Conformance Checking with Uncertainty via SMT (Extended Version)
Paolo Felli, Alessandro Gianola, Marco Montali +2
Logs of real-life processes often feature uncertainty pertaining the recorded timestamps, data values, and/or events. We consider the problem of checking conformance of uncertain l…
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…
DB-Nets: on The Marriage of Colored Petri Nets and Relational Databases
Marco Montali, Andrey Rivkin
The integrated management of business processes and mas- ter data is being increasingly considered as a fundamental problem, by both the academia and the industry. In this position…