4 citations · 6 across the 6 of their papers we have counts for
6 papers
Looking for winning strategies in two-player games on Petri nets with partial observability
Federica Adobbati, Luca Bernardinello, Lucia Pomello
We define a game on 1-safe Petri nets, where a user plays against an environment in order to reach a goal on the system. The goal is expressed through an LTL-X formula, and represe…
Asynchronous games on Petri nets and ATL
Federica Adobbati, Luca Bernardinello, Lucia Pomello
We define a game on distributed Petri nets, where several players interact with each other, and with an environment. The players, or users, have perfect knowledge of the current st…
Soundness-preserving composition of synchronously and asynchronously interacting workflow net components
Luca Bernardinello, Irina Lomazova, Roman Nesterov +1
In this paper, we propose a compositional approach to constructing correct formal models of information systems from correct models of interacting components. Component behavior is…
Compositional Discovery of Workflow Nets from Event Logs Using Morphisms
Luca Bernardinello, Irina Lomazova, Roman Nesterov +1
This paper presents a modular approach to discover process models for multi-agent systems from event logs. System event logs are filtered according to individual agent behavior. We…
Between quantum logic and concurrency
Luca Bernardinello, Carlo Ferigato, Lucia Pomello
We start from two closure operators defined on the elements of a special kind of partially ordered sets, called causal nets. Causal nets are used to model histories of concurrent p…
Orthomodular Lattices Induced by the Concurrency Relation
Luca Bernardinello, Lucia Pomello, Stefania Rombolà
We apply to locally finite partially ordered sets a construction which associates a complete lattice to a given poset; the elements of the lattice are the closed subsets of a closu…