Sfoglia per Autore  

Opzioni
Mostrati risultati da 1 a 20 di 57
Titolo Tipologia Data di pubblicazione Autori File
Implementable Strategies for a Two-Player Asynchronous Game on Petri Nets 03 - Contributo in libro 2024 Adobbati, FBernardinello, LPomello, L +
Computing a Parametric Reveals Relation For Bounded Equal-Conflict Petri Nets 03 - Contributo in libro 2024 Adobbati, FBernardinello, LPomello, L +
Soundness-preserving composition of synchronously and asynchronously interacting workflow net components 01 - Articolo su rivista 2023 Bernardinello, LucaNesterov, RomanPomello, Lucia +
Discovering architecture-aware and sound process models of multi-agent systems: a compositional approach 01 - Articolo su rivista 2023 Nesterov R.Bernardinello L.Pomello L. +
Solving a Safety Game on the Unfolding of Safe Petri Nets 02 - Intervento a convegno 2023 Adobbati F.Bernardinello L.Pomello L.
Property-Preserving Transformations of Elementary Net Systems Based on Morphisms 03 - Contributo in libro 2022 Bernardinello, LNesterov, RPomello, L +
Implementable strategies for a two-player asynchronous game on Petri nets 02 - Intervento a convegno 2022 Adobbati, FBernardinello, LPomello, L +
Information Flow Among Transitions of Bounded Equal-Conflict Petri Nets 02 - Intervento a convegno 2022 Adobbati F.Bernardinello L.Pomello L. +
A Two-Player Asynchronous Game on Fully Observable Petri Nets 03 - Contributo in libro 2021 Adobbati F.Bernardinello L.Pomello L.
Topics in Region Theory and Synthesis Problems 02 - Intervento a convegno 2021 Bernardinello, 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 +
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
An asynchronous game on distributed petri nets 02 - Intervento a convegno 2019 Adobbati, FBernardinello, LPomello, L
On Stability of Regional Orthomodular Posets 01 - Articolo su rivista 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 +
Checking weak observable liveness on unfoldings through asynchronous games 02 - Intervento a convegno 2018 Bernardinello, LPomello, LPuerto Aubel, A +
Compositional discovery of workflow nets from event logs using morphisms 02 - Intervento a convegno 2018 Bernardinello, LNesterov, RPomello, L +
Mostrati risultati da 1 a 20 di 57
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