BERNARDINELLO, LUCA
BERNARDINELLO, LUCA
DIPARTIMENTO DI INFORMATICA, SISTEMISTICA E COMUNICAZIONE
Discovering architecture-aware and sound process models of multi-agent systems: a compositional approach
2023 Nesterov, R; Bernardinello, L; Lomazova, I; Pomello, L
Implementable strategies for a two-player asynchronous game on Petri nets
2022 Adobbati, F; Bernardinello, L; Pomello, L; Stramare, R
Property-Preserving Transformations of Elementary Net Systems Based on Morphisms
2022 Bernardinello, L; Lomazova, I; Nesterov, R; Pomello, L
Information Flow Among Transitions of Bounded Equal-Conflict Petri Nets
2022 Adobbati, F; Bernardinello, L; Soylu, G; Pomello, L
Topics in Region Theory and Synthesis Problems
2021 Bernardinello, L
A Two-Player Asynchronous Game on Fully Observable Petri Nets
2021 Adobbati, F; Bernardinello, L; Pomello, L
Logic and Algebra in Unfolded Petri Nets: On a Duality between Concurrency and Causal Dependence
2020 Bernardinello, L; Ferigato, C; Pomello, L
Property-Preserving transformations of elementary net systems based on morphisms
2020 Bernardinello, L; Lomazova, I; Nesterov, R; Pomello, L
Analyzing and Modeling Cooking Procedures
2019 Adobbati, F; Agostini, A; Teresa Artese, M; Bernardinello, L; Ciocca, G; Gagliardi, I; POMELLO CHINAGLIA POMELLO, L
An asynchronous game on distributed petri nets
2019 Adobbati, F; Bernardinello, L; Pomello, L
Asynchronous games on petri nets and partial orders
2019 Adobbati, F; Bernardinello, L; Pomello, L
The Road from Concurrency to Quantum Logics
2019 Bernardinello, L; Pomello, L
Compositional discovery of workflow nets from event logs using morphisms
2018 Bernardinello, L; Lomazova, I; Nesterov, R; Pomello, L
On Stability of Regional Orthomodular Posets
2018 Bernardinello, L; Ferigato, C; Pomello, L; Puerto Aubel, A
On the Decomposition of Regional Events in Elementary Systems
2018 Bernardinello, L; Ferigato, C; Pomello, L; PUERTO AUBEL, A
Checking weak observable liveness on unfoldings through asynchronous games
2018 Bernardinello, L; Pomello, L; Puerto Aubel, A; Villa, A
On Stability of Regional Orthomodular Posets
2017 Bernardinello, L; Ferigato, C; Pomello, L; Puerto Aubel, A
Weak observable liveness and infinite games on finite graphs
2017 Bernardinello, L; Kılınç, G; Pomello, L
Synthesis of transition systems from quantum logics
2017 Bernardinello, L; Ferigato, C; Pomello, L; PUERTO AUBEL, A
Non-interference notions based on reveals and excludes relations for petri nets
2016 Bernardinello, L; Kilinc, G; Pomello, L