Articles with public access mandates - Lucia PomelloLearn more
Not available anywhere: 4
Discovering architecture-aware and sound process models of multi-agent systems: a compositional approach
R Nesterov, L Bernardinello, I Lomazova, L Pomello
Software and Systems Modeling 22 (1), 351-375, 2023
Mandates: Government of Italy
Weak observable liveness and infinite games on finite graphs
L Bernardinello, G Kılınç, L Pomello
Application and Theory of Petri Nets and Concurrency: 38th International …, 2017
Mandates: Government of Italy
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
Mandates: Government of Italy
Logic and Algebra in Unfolded Petri Nets: on a Duality Between Concurrency and Causal Dependence
L Bernardinello, C Ferigato, L Pomello
Fundamenta Informaticae 171 (1-4), 39-56, 2020
Mandates: Government of Italy
Available somewhere: 13
Non-interference notions based on reveals and excludes relations for Petri nets
L Bernardinello, G Kılınç, L Pomello
Transactions on Petri Nets and Other Models of Concurrency XI, 49-70, 2016
Mandates: Government of Italy
Property-preserving transformations of elementary net systems based on morphisms
L Bernardinello, I Lomazova, R Nesterov, L Pomello
Transactions on Petri Nets and Other Models of Concurrency XVI, 1-23, 2022
Mandates: Government of Italy
Closed sets in occurrence nets with conflicts
L Bernardinello, C Ferigato, S Haar, L Pomello
Fundamenta Informaticae 133 (4), 323-344, 2014
Mandates: Government of Italy
Synthesis of transition systems from quantum logics
L Bernardinello, C Ferigato, L Pomello, A Puerto Aubel
Fundamenta Informaticae 154 (1-4), 25-36, 2017
Mandates: Government of Italy
Modeling distributed private key generation by composing Petri nets
L Bernardinello, G Kılınç, E Mangioni, L Pomello
Transactions on Petri Nets and Other Models of Concurrency IX, 19-40, 2014
Mandates: Government of Italy
An Asynchronous Game on Distributed Petri Nets.
F Adobbati, L Bernardinello, L Pomello
PNSE@ Petri Nets/ACSD, 17-36, 2019
Mandates: Government of Italy
On stability of regional orthomodular posets
L Bernardinello, C Ferigato, L Pomello, AP Aubel
Transactions on Petri Nets and Other Models of Concurrency XIII, 52-72, 2018
Mandates: Government of Italy
Orthomodular algebraic lattices related to combinatorial posets.
L Bernardinello, L Pomello, S Rombola
ICTCS, 241-245, 2014
Mandates: Government of Italy
Morphisms on Marked Graphs.
L Bernardinello, L Pomello, S Scaccabarozzi
PNSE@ Petri Nets, 113-127, 2014
Mandates: Government of Italy
On the Decomposition of Regional Events in Elementary Systems.
L Bernardinello, C Ferigato, L Pomello, AP Aubel
ATAED@ Petri Nets/ACSD, 39-55, 2018
Mandates: Government of Italy
Information Flow among Transitions of Bounded Equal-Conflict Petri Nets.
F Adobbati, L Bernardinello, GK Soylu, L Pomello
PNSE@ Petri Nets, 60-79, 2022
Mandates: Government of Italy
Solving a Safety Game on the Unfolding of Safe Petri Nets
F Adobbati, L Bernardinello, L Pomello
CEUR WORKSHOP PROCEEDINGS 3430, 53-69, 2023
Mandates: Government of Italy
Asynchronous Games on Petri Nets and Partial Order.
F Adobbati, L Bernardinello, L Pomello
ICTCS, 139-144, 2019
Mandates: Government of Italy
Publication and funding information is determined automatically by a computer program