Federica Adobbati

According to our database, Federica Adobbati authored at least 13 papers between 2019 and 2023.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of four.

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

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

Solving a Safety Game on the Unfolding of Safe Petri Nets.

Federica Adobbati, Luca Bernardinello, Lucia Pomello

Proceedings of the 2023 International Workshop on Petri Nets and Software Engineering (PNSE 2023) co-located with the 44th International Conference on Application and Theory of Petri Nets and Concurrency (PETRI NETS 2023), 2023

2022

Looking for winning strategies in two-player games on Petri nets with partial observability.

Federica Adobbati, Luca Bernardinello, Lucia Pomello

CoRR, 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

Analysing Multi-Agent Systems using 1-safe Petri Nets.

Federica Adobbati, Lukasz Mikulski

Proceedings of the Petri Nets and Software Engineering 2022 co-located with the 43rd International Conference on Application and Theory of Petri Nets and Concurrency (PETRI NETS 2022), 2022

Information Flow among Transitions of Bounded Equal-Conflict Petri Nets.

Federica Adobbati, Luca Bernardinello, Görkem Kilinç Soylu, Lucia Pomello

Proceedings of the Petri Nets and Software Engineering 2022 co-located with the 43rd International Conference on Application and Theory of Petri Nets and Concurrency (PETRI NETS 2022), 2022

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

A Two-Player Asynchronous Game on Fully Observable Petri Nets.

Federica Adobbati, Luca Bernardinello, Lucia Pomello

Trans. Petri Nets Other Model. Concurr., 2021

Asynchronous games on Petri nets and ATL.

Federica Adobbati, Luca Bernardinello, Lucia Pomello

CoRR, 2021

2019

Asynchronous Games on Petri Nets and Partial Order.

Federica Adobbati, Luca Bernardinello, Lucia Pomello

Proceedings of the 20th Italian Conference on Theoretical Computer Science, 2019

Two Operations for Stable Structures of Elementary Regions.

Federica Adobbati, Carlo Ferigato, Stefano Gandelli, Adrián Puerto Aubel

Proceedings of the International Workshop on Algorithms & Theories for the Analysis of Event Data 2019 Satellite event of the conferences: 40th International Conference on Application and Theory of Petri Nets and Concurrency Petri Nets 2019 and 19th International Conference on Application of Concurrency to System Design ACSD 2019, 2019

An Asynchronous Game on Distributed Petri Nets.

Federica Adobbati, Luca Bernardinello, Lucia Pomello

Proceedings of the International Workshop on Petri Nets and Software Engineering (PNSE 2019), 2019