ADOBBATI, FEDERICA
ADOBBATI, FEDERICA
DIPARTIMENTO DI INFORMATICA, SISTEMISTICA E COMUNICAZIONE
Implementable strategies for a two-player asynchronous game on Petri nets
2022 Adobbati, F; Bernardinello, L; Pomello, L; Stramare, R
A Finite Prefix for Analysing Information Flow Among Transitions of a Free-Choice Net
2022 Adobbati, F; Kılınç Soylu, G; Puerto, A
Analysing Multi-Agent Systems using 1-safe Petri Nets
2022 Adobbati, F; Mikulski, Ł
Information Flow Among Transitions of Bounded Equal-Conflict Petri Nets
2022 Adobbati, F; Bernardinello, L; Soylu, G; Pomello, L
Stability of Regional Orthomodular Posets Under Synchronisation and Refinement
2021 Adobbati, F; Ferigato, C; Gandelli, S; Aubel, A
A Two-Player Asynchronous Game on Fully Observable Petri Nets
2021 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
Two operations for stable structures of elementary regions
2019 Adobbati, F; Ferigato, C; Gandelli, S; Aubel, A
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