POMELLO CHINAGLIA POMELLO, LUCIA

POMELLO CHINAGLIA POMELLO, LUCIA  

DIPARTIMENTO DI INFORMATICA, SISTEMISTICA E COMUNICAZIONE  

Mostra records
Risultati 1 - 20 di 53 (tempo di esecuzione: 0.022 secondi).
Titolo Tipologia Data di pubblicazione Autori File
Information Flow Among Transitions of Bounded Equal-Conflict Petri Nets 02 - Intervento a convegno 2022 Adobbati F.Bernardinello L.Pomello L. +
Implementable strategies for a two-player asynchronous game on Petri nets 02 - Intervento a convegno 2022 Adobbati, FBernardinello, LPomello, L +
Transactions on Petri Nets and Other Models of Concurrency XV 05 - Curatele 2021 Pomello, L +
A Two-Player Asynchronous Game on Fully Observable Petri Nets 03 - Contributo in libro 2021 Adobbati F.Bernardinello L.Pomello L.
Logic and Algebra in Unfolded Petri Nets: On a Duality between Concurrency and Causal Dependence 01 - Articolo su rivista 2020 Bernardinello L.Pomello L. +
Property-Preserving transformations of elementary net systems based on morphisms 02 - Intervento a convegno 2020 Bernardinello L.Nesterov R.Pomello L. +
Analyzing and Modeling Cooking Procedures 02 - Intervento a convegno 2019 Federica AdobbatiAlessandra AgostiniLuca BernardinelloGianluigi CioccaLucia Pomello +
An asynchronous game on distributed petri nets 02 - Intervento a convegno 2019 Adobbati, FBernardinello, LPomello, L
Preface (by Guest Editors) 05 - Curatele 2019 Pomello, L +
The Road from Concurrency to Quantum Logics 03 - Contributo in libro 2019 Bernardinello, LPomello, L
Asynchronous games on petri nets and partial orders 02 - Intervento a convegno 2019 Adobbati, FBernardinello, LPomello, L
Compositional discovery of workflow nets from event logs using morphisms 02 - Intervento a convegno 2018 Bernardinello, LNesterov, RPomello, L +
Checking weak observable liveness on unfoldings through asynchronous games 02 - Intervento a convegno 2018 Bernardinello, LPomello, LPuerto Aubel, A +
On the Decomposition of Regional Events in Elementary Systems 02 - Intervento a convegno 2018 Bernardinello, LPomello, LPUERTO AUBEL, ADRIAN +
On Stability of Regional Orthomodular Posets 01 - Articolo su rivista 2018 Bernardinello, LPomello, LPuerto Aubel, A +
On Stability of Regional Orthomodular Posets 02 - Intervento a convegno 2017 Bernardinello, LPomello, LPuerto Aubel, A +
Weak observable liveness and infinite games on finite graphs 02 - Intervento a convegno 2017 Bernardinello, LKılınç, GPomello, L
Synthesis of transition systems from quantum logics 01 - Articolo su rivista 2017 Bernardinello, LPomello, LPUERTO AUBEL, ADRIAN +
The legacy of Carl Adam Petri: From automata to communication 01 - Articolo su rivista 2016 Bernardinello, LPomello, L +
Non-interference notions based on reveals and excludes relations for petri nets 01 - Articolo su rivista 2016 Bernardinello, LKILINC, GORKEMPomello, L