BERNARDINELLO, LUCA
BERNARDINELLO, LUCA
DIPARTIMENTO DI INFORMATICA, SISTEMISTICA E COMUNICAZIONE
Computing a Parametric Reveals Relation For Bounded Equal-Conflict Petri Nets
2024 Adobbati, F; Bernardinello, L; Kilinc Soylu, G; Pomello, L
Implementable Strategies for a Two-Player Asynchronous Game on Petri Nets
2024 Adobbati, F; Bernardinello, L; Pomello, L; Stramare, R
Discovering architecture-aware and sound process models of multi-agent systems: a compositional approach
2023 Nesterov, R; Bernardinello, L; Lomazova, I; Pomello, L
Solving a Safety Game on the Unfolding of Safe Petri Nets
2023 Adobbati, F; Bernardinello, L; Pomello, L
Soundness-preserving composition of synchronously and asynchronously interacting workflow net components
2023 Bernardinello, L; Lomazova, I; Nesterov, R; Pomello, L
Implementable strategies for a two-player asynchronous game on Petri nets
2022 Adobbati, F; Bernardinello, L; Pomello, L; Stramare, R
Information Flow Among Transitions of Bounded Equal-Conflict Petri Nets
2022 Adobbati, F; Bernardinello, L; Soylu, G; Pomello, L
Property-Preserving Transformations of Elementary Net Systems Based on Morphisms
2022 Bernardinello, L; Lomazova, I; Nesterov, R; Pomello, L
A Two-Player Asynchronous Game on Fully Observable Petri Nets
2021 Adobbati, F; Bernardinello, L; Pomello, L
Topics in Region Theory and Synthesis Problems
2021 Bernardinello, 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
An asynchronous game on distributed petri nets
2019 Adobbati, F; Bernardinello, L; 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
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
Checking weak observable liveness on unfoldings through asynchronous games
2018 Bernardinello, L; Pomello, L; Puerto Aubel, A; Villa, A
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