A two-player asynchronous game on fully observable Petri nets F Adobbati, L Bernardinello, L Pomello Transactions on Petri Nets and Other Models of Concurrency XV, 126-149, 2021 | 6 | 2021 |
An Asynchronous Game on Distributed Petri Nets. F Adobbati, L Bernardinello, L Pomello PNSE@ Petri Nets/ACSD, 17-36, 2019 | 5 | 2019 |
Computing a Parametric Reveals Relation For Bounded Equal-Conflict Petri Nets F Adobbati, L Bernardinello, G Kılınç Soylu, L Pomello Transactions on Petri Nets and Other Models of Concurrency XVII, 54-83, 2023 | 2 | 2023 |
A finite prefix for analyzing information flow among transitions of a free-choice net F Adobbati, GK Soylu, AP Aubel IEEE Access 10, 38483-38501, 2022 | 2 | 2022 |
Looking for winning strategies in two-player games on Petri nets with partial observability F Adobbati, L Bernardinello, L Pomello arXiv preprint arXiv:2204.01603, 2022 | 2 | 2022 |
Information Flow among Transitions of Bounded Equal-Conflict Petri Nets. F Adobbati, L Bernardinello, GK Soylu, L Pomello PNSE@ Petri Nets, 60-79, 2022 | 2 | 2022 |
Implementable strategies for a two-player asynchronous game on Petri nets F Adobbati, L Bernardinello, L Pomello, R Stramare Transactions on Petri Nets and Other Models of Concurrency XVII, 189-211, 2023 | 1 | 2023 |
Analysing multi-agent systems using 1-safe Petri nets F Adobbati, Ł Mikulski arXiv preprint arXiv:2310.19507, 2023 | 1 | 2023 |
Formal analysis of information flow and control properties in Petri nets F Adobbati Università degli Studi di Milano-Bicocca, 2023 | 1 | 2023 |
Solving a Safety Game on the Unfolding of Safe Petri Nets F Adobbati, L Bernardinello, L Pomello CEUR WORKSHOP PROCEEDINGS 3430, 53-69, 2023 | 1 | 2023 |
Asynchronous games on Petri nets and ATL F Adobbati, L Bernardinello, L Pomello arXiv preprint arXiv:2107.06866, 2021 | 1 | 2021 |
Two operations for stable structures of elementary regions F Adobbati, C Ferigato, S Gandelli, AP Aubel ATAED 2019-Workshop Algorithms & Theories for the Analysis of Event Data 237 …, 2019 | 1 | 2019 |
Asynchronous Games on Petri Nets and Partial Order. F Adobbati, L Bernardinello, L Pomello ICTCS, 139-144, 2019 | 1 | 2019 |
A two player asynchronous game with privacy constraints on Petri nets F Adobbati, L Bernardinello, L Pomello | | 2024 |
Stability of Regional Orthomodular Posets Under Synchronisation and Refinement F Adobbati, C Ferigato, S Gandelli, AP Aubel Transactions on Petri Nets and Other Models of Concurrency XV, 50-74, 2021 | | 2021 |
Analyzing and Modeling Cooking Procedures F Adobbati, A Agostini, MT Artese, L Bernardinello, G Ciocca, I Gagliardi, ... Riunione annuale NeuroMI, 2019 | | 2019 |
Asynchronous games on Petri nets F Adobbati | | |