Sfoglia per Autore
Mostrati risultati da 1 a 14 di 14
Implementable Strategies for a Two-Player Asynchronous Game on Petri Nets
2024 Adobbati, F; Bernardinello, L; Pomello, L; Stramare, R
Computing a Parametric Reveals Relation For Bounded Equal-Conflict Petri Nets
2024 Adobbati, F; Bernardinello, L; Kilinc Soylu, G; Pomello, L
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
Implementable strategies for a two-player asynchronous game on Petri nets
2022 Adobbati, F; Bernardinello, L; Pomello, L; Stramare, R
Analysing Multi-Agent Systems using 1-safe Petri Nets
2022 Adobbati, F; Mikulski, Ł
A Finite Prefix for Analysing Information Flow Among Transitions of a Free-Choice Net
2022 Adobbati, F; Kılınç Soylu, G; Puerto, A
Information Flow Among Transitions of Bounded Equal-Conflict Petri Nets
2022 Adobbati, F; Bernardinello, L; Soylu, G; Pomello, L
Stability of Regional Orthomodular Posets Under Synchronisation and Refinement
2021 Adobbati, F; Ferigato, C; Gandelli, S; Aubel, A
A Two-Player Asynchronous Game on Fully Observable Petri Nets
2021 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
Two operations for stable structures of elementary regions
2019 Adobbati, F; Ferigato, C; Gandelli, S; Aubel, A
An asynchronous game on distributed petri nets
2019 Adobbati, F; Bernardinello, L; Pomello, L
Asynchronous games on petri nets and partial orders
2019 Adobbati, F; Bernardinello, L; Pomello, L
Mostrati risultati da 1 a 14 di 14
Legenda icone
- file ad accesso aperto
- file disponibili sulla rete interna
- file disponibili agli utenti autorizzati
- file disponibili solo agli amministratori
- file sotto embargo
- nessun file disponibile