ADOBBATI, FEDERICA

ADOBBATI, FEDERICA  

DIPARTIMENTO DI INFORMATICA, SISTEMISTICA E COMUNICAZIONE  

Mostra records
Risultati 1 - 14 di 14 (tempo di esecuzione: 0.006 secondi).
Titolo Tipologia Data di pubblicazione Autori File
An asynchronous game on distributed petri nets 02 - Intervento a convegno 2019 Adobbati, FBernardinello, LPomello, L
Analyzing and Modeling Cooking Procedures 02 - Intervento a convegno 2019 Federica AdobbatiAlessandra AgostiniLuca BernardinelloGianluigi CioccaLucia Pomello +
Asynchronous games on petri nets and partial orders 02 - Intervento a convegno 2019 Adobbati, FBernardinello, LPomello, L
Two operations for stable structures of elementary regions 02 - Intervento a convegno 2019 Adobbati, F +
A Two-Player Asynchronous Game on Fully Observable Petri Nets 03 - Contributo in libro 2021 Adobbati F.Bernardinello L.Pomello L.
Stability of Regional Orthomodular Posets Under Synchronisation and Refinement 03 - Contributo in libro 2021 Adobbati F. +
Implementable strategies for a two-player asynchronous game on Petri nets 02 - Intervento a convegno 2022 Adobbati, FBernardinello, LPomello, L +
Analysing Multi-Agent Systems using 1-safe Petri Nets 02 - Intervento a convegno 2022 Adobbati, Federica +
A Finite Prefix for Analysing Information Flow Among Transitions of a Free-Choice Net 01 - Articolo su rivista 2022 Adobbati F. +
Information Flow Among Transitions of Bounded Equal-Conflict Petri Nets 02 - Intervento a convegno 2022 Adobbati F.Bernardinello L.Pomello L. +
Formal analysis of information flow and control properties in Petri nets 07 - Tesi di dottorato Bicocca post 2009 2023 ADOBBATI, FEDERICA
Solving a Safety Game on the Unfolding of Safe Petri Nets 02 - Intervento a convegno 2023 Adobbati F.Bernardinello L.Pomello L.
Implementable Strategies for a Two-Player Asynchronous Game on Petri Nets 03 - Contributo in libro 2024 Adobbati, FBernardinello, LPomello, L +
Computing a Parametric Reveals Relation For Bounded Equal-Conflict Petri Nets 03 - Contributo in libro 2024 Adobbati, FBernardinello, LPomello, L +