ADOBBATI, FEDERICA
ADOBBATI, FEDERICA
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
Formal analysis of information flow and control properties in Petri nets
2023 Adobbati, F
Solving a Safety Game on the Unfolding of Safe Petri Nets
2023 Adobbati, F; Bernardinello, L; Pomello, L
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, Ł
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
A Two-Player Asynchronous Game on Fully Observable Petri Nets
2021 Adobbati, F; Bernardinello, L; Pomello, L
Stability of Regional Orthomodular Posets Under Synchronisation and Refinement
2021 Adobbati, F; Ferigato, C; Gandelli, S; Aubel, A
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
Two operations for stable structures of elementary regions
2019 Adobbati, F; Ferigato, C; Gandelli, S; Aubel, A