An Asynchronous Game on Distributed Petri Nets. - Federica Adobbati; Luca Bernardinello; Lucia Pomello (PNSE@Petri Nets/ACSD, 2019)

Two Operations for Stable Structures of Elementary Regions. - Federica Adobbati; Carlo Ferigato; Stefano Gandelli; Adrián Puerto Aubel (ATAED@Petri Nets/ACSD, 2019)

Asynchronous Games on Petri Nets and Partial Order. - Federica Adobbati; Luca Bernardinello; Lucia Pomello (ICTCS, 2019)

Asynchronous games on Petri nets and ATL. - Federica Adobbati; Luca Bernardinello; Lucia Pomello (CoRR, 2021)

A Two-Player Asynchronous Game on Fully Observable Petri Nets. - Federica Adobbati; Luca Bernardinello; Lucia Pomello (Trans. Petri Nets Other Model. Concurr., 2021)

Stability of Regional Orthomodular Posets Under Synchronisation and Refinement. - Federica Adobbati; Carlo Ferigato; Stefano Gandelli; Adrián Puerto Aubel (Trans. Petri Nets Other Model. Concurr., 2021)

Information Flow among Transitions of Bounded Equal-Conflict Petri Nets. - Federica Adobbati; Luca Bernardinello; Görkem Kilinç Soylu; Lucia Pomello (PNSE@Petri Nets, 2022)

Analysing Multi-Agent Systems using 1-safe Petri Nets. - Federica Adobbati; Lukasz Mikulski (PNSE@Petri Nets, 2022)

A Finite Prefix for Analyzing Information Flow Among Transitions of a Free-Choice Net. - Federica Adobbati; Görkem Kilinç Soylu; Adrián Puerto Aubel (IEEE Access, 2022)

Looking for winning strategies in two-player games on Petri nets with partial observability. - Federica Adobbati; Luca Bernardinello; Lucia Pomello (CoRR, 2022)

Solving a Safety Game on the Unfolding of Safe Petri Nets. - Federica Adobbati; Luca Bernardinello; Lucia Pomello (PNSE@Petri Nets, 2023)

Implementable Strategies for a Two-Player Asynchronous Game on Petri Nets. - Federica Adobbati; Luca Bernardinello; Lucia Pomello; Riccardo Stramare (Trans. Petri Nets Other Model. Concurr., 2023)

Computing a Parametric Reveals Relation For Bounded Equal-Conflict Petri Nets. - Federica Adobbati; Luca Bernardinello; Görkem Kilinç Soylu; Lucia Pomello (Trans. Petri Nets Other Model. Concurr., 2023)

Formal analysis of information flow and control properties in Petri nets. - Federica Adobbati (2023)

A Two Player Asynchronous Game With Privacy Constraints on Petri Nets (short paper). - Federica Adobbati; Luca Bernardinello; Lucia Pomello (ICTCS, 2024)

Asynchronous Multi-Agent Systems with Petri nets. - Federica Adobbati; Lukasz Mikulski (CoRR, 2025)