BERNARDINELLO, LUCA

BERNARDINELLO, LUCA  

DIPARTIMENTO DI INFORMATICA, SISTEMISTICA E COMUNICAZIONE  

Mostra records
Risultati 1 - 20 di 51 (tempo di esecuzione: 0.011 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 +
Topics in Region Theory and Synthesis Problems 02 - Intervento a convegno 2021 Bernardinello, 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
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
Petri Net Synthesis 04 - Monografia 2015 BERNARDINELLO, LUCA +