Luca Bernardinello

Publication Activity (10 Years)

Years Active: 1993-2024
Publications (10 Years): 29

Top Topics

Partial Observability

Top Venues

Trans. Petri Nets Other Model. Concurr.

Fundam. Informaticae

ATAED@Petri Nets/ACSD

Publications

Luca Bernardinello, Jetty Kleijn, Laure Petrucci
Preface. Fundam. Informaticae 190 (2-4) (2024)
Federica Adobbati, Luca Bernardinello, Lucia Pomello
Solving a Safety Game on the Unfolding of Safe Petri Nets. PNSE@Petri Nets (2023)
Federica Adobbati, Luca Bernardinello, Lucia Pomello, Riccardo Stramare
Implementable Strategies for a Two-Player Asynchronous Game on Petri Nets. Trans. Petri Nets Other Model. Concurr. 17 (2023)
Federica Adobbati, Luca Bernardinello, Görkem Kilinç Soylu, Lucia Pomello
Computing a Parametric Reveals Relation For Bounded Equal-Conflict Petri Nets. Trans. Petri Nets Other Model. Concurr. 17 (2023)
Roman Nesterov, Luca Bernardinello, Irina A. Lomazova, Lucia Pomello
Discovering architecture-aware and sound process models of multi-agent systems: a compositional approach. Softw. Syst. Model. 22 (1) (2023)
Luca Bernardinello, Irina A. Lomazova, Roman Nesterov, Lucia Pomello
Soundness-preserving composition of synchronously and asynchronously interacting workflow net components. J. Parallel Distributed Comput. 179 (2023)
Federica Adobbati, Luca Bernardinello, Lucia Pomello, Riccardo Stramare
Implementable Strategies for a Two-Player Asynchronous Game on Petri Nets. ATAED@Petri Nets (2022)
Federica Adobbati, Luca Bernardinello, Görkem Kilinç Soylu, Lucia Pomello
Information Flow among Transitions of Bounded Equal-Conflict Petri Nets. PNSE@Petri Nets (2022)
Federica Adobbati, Luca Bernardinello, Lucia Pomello
Looking for winning strategies in two-player games on Petri nets with partial observability. CoRR (2022)
Luca Bernardinello, Irina A. Lomazova, Roman Nesterov, Lucia Pomello
Property-Preserving Transformations of Elementary Net Systems Based on Morphisms. Trans. Petri Nets Other Model. Concurr. 16 (2022)
Federica Adobbati, Luca Bernardinello, Lucia Pomello
Asynchronous games on Petri nets and ATL. CoRR (2021)
Federica Adobbati, Luca Bernardinello, Lucia Pomello
A Two-Player Asynchronous Game on Fully Observable Petri Nets. Trans. Petri Nets Other Model. Concurr. 15 (2021)
Luca Bernardinello
Topics in Region Theory and Synthesis Problems. Petri Nets (2021)
Luca Bernardinello, Irina A. Lomazova, Roman Nesterov, Lucia Pomello
Property-Preserving Transformations of Elementary Net Systems Based on Morphisms. PNSE@Petri Nets (2020)
Luca Bernardinello, Irina A. Lomazova, Roman Nesterov, Lucia Pomello
Soundness-preserving composition of synchronously and asynchronously interacting workflow net components. CoRR (2020)
Luca Bernardinello, Carlo Ferigato, Lucia Pomello
Logic and Algebra in Unfolded Petri Nets: on a Duality Between Concurrency and Causal Dependence. Fundam. Informaticae 171 (1-4) (2020)
Federica Adobbati, Luca Bernardinello, Lucia Pomello
Asynchronous Games on Petri Nets and Partial Order. ICTCS (2019)
Federica Adobbati, Luca Bernardinello, Lucia Pomello
An Asynchronous Game on Distributed Petri Nets. PNSE@Petri Nets/ACSD (2019)
Luca Bernardinello, Carlo Ferigato, Lucia Pomello, Adrián Puerto Aubel
On Stability of Regional Orthomodular Posets. Trans. Petri Nets Other Model. Concurr. 13 (2018)
Luca Bernardinello, Lucia Pomello, Adrián Puerto Aubel, Alessandro Villa
Checking Weak Observable Liveness on Unfoldings Through Asynchronous Games. PNSE@Petri Nets/ACSD (2018)
Luca Bernardinello, Irina A. Lomazova, Roman Nesterov, Lucia Pomello
Compositional Discovery of Workflow Nets from Event Logs Using Morphisms. ATAED@Petri Nets/ACSD (2018)
Luca Bernardinello, Irina A. Lomazova, Roman Nesterov, Lucia Pomello
Compositional Discovery of Workflow Nets from Event Logs Using Morphisms. CoRR (2018)
Luca Bernardinello, Carlo Ferigato, Lucia Pomello, Adrián Puerto Aubel
On the Decomposition of Regional Events in Elementary Systems. ATAED@Petri Nets/ACSD (2018)
Luca Bernardinello, Görkem Kilinç, Lucia Pomello
Weak Observable Liveness and Infinite Games on Finite Graphs. Petri Nets (2017)
Luca Bernardinello, Carlo Ferigato, Lucia Pomello, Adrián Puerto Aubel
On Stability of Regional Orthomodular Posets. ATAED@Petri Nets/ACSD (2017)
Luca Bernardinello, Carlo Ferigato, Lucia Pomello, Adrián Puerto Aubel
Synthesis of Transition Systems from Quantum Logics. Fundam. Informaticae 154 (1-4) (2017)
Luca Bernardinello, Görkem Kilinç, Lucia Pomello
Non-interference Notions Based on Reveals and Excludes Relations for Petri Nets. Trans. Petri Nets Other Model. Concurr. 11 (2016)
Luca Bernardinello, Görkem Kilinç, Lucia Pomello
Non-Interference Notions Based on Reveals and Excludes Relations for Petri Nets. PNSE @ Petri Nets (2015)
Kamel Barkaoui, Luca Bernardinello, Andrey Mokhov
Guest Editorial for Special Issue Application of Concurrency to System Design. ACM Trans. Embed. Comput. Syst. 14 (4) (2015)
Luca Bernardinello, Lucia Pomello, Stefano Scaccabarozzi
Morphisms on Marked Graphs. PNSE @ Petri Nets (2014)
Luca Bernardinello, Lucia Pomello, Stefania Rombolà
Orthomodular algebraic lattices related to combinatorial posets. ICTCS (2014)
Luca Bernardinello, Carlo Ferigato, Stefan Haar, Lucia Pomello
Closed Sets in Occurrence Nets with Conflicts. Fundam. Informaticae 133 (4) (2014)
Luca Bernardinello, Görkem Kilinç, Elisabetta Mangioni, Lucia Pomello
Modeling Distributed Private Key Generation by Composing Petri Nets. Trans. Petri Nets Other Model. Concurr. 9 (2014)
Luca Bernardinello, Görkem Kilinç, Elisabetta Mangioni, Lucia Pomello
Modeling Distributed Private Key Generation by Composing Petri Nets. PNSE+ModPE (2013)
Luca Bernardinello, Elisabetta Mangioni, Lucia Pomello
Local State Refinement and Composition of Elementary Net Systems: An Approach Based on Morphisms. Trans. Petri Nets Other Model. Concurr. 8 (2013)
Luca Bernardinello, Francesco Adalberto Bianchi
A Concurrent Simulator for Petri Nets Based on the Paradigm of Actors of Hewitt. PNSE (2012)
Luca Bernardinello, Elisabetta Mangioni, Lucia Pomello
Local state refinement on Elementary Net Systems: an approach based on morphisms. PNSE (2012)
Luca Bernardinello, Carlo Ferigato, Lucia Pomello
Between quantum logic and concurrency. QPL (2012)
Luca Bernardinello, Lucia Pomello, Stefania Rombolà
On Orthomodular Posets Generated by Transition Systems. Electron. Notes Theor. Comput. Sci. 270 (1) (2011)
Luca Bernardinello, Lucia Pomello, Stefania Rombolà
Closure Operators and Lattices Derived from Concurrency in Posets and Occurrence Nets. Fundam. Informaticae 105 (3) (2010)
Luca Bernardinello, Carlo Ferigato, Lucia Pomello, Stefania Rombolà
Closure Operators Associated to Partially Ordered Sets. NCMA (2009)
Luca Bernardinello, Lucia Pomello, Stefania Rombolà
Orthomodular Lattices in Occurrence Nets. Petri Nets (2009)
Luca Bernardinello, Lucia Pomello, Stefania Rombolà
Orthomodular Lattices Induced by the Concurrency Relation DCM (2009)
Marek A. Bednarczyk, Wieslaw Pawlowski, Luca Bernardinello, Lucia Pomello, Tomasz Borzyszkowski
A Multi-facet Approach to Dynamic Agent Systems. Fundam. Informaticae 85 (1-4) (2008)
Marek A. Bednarczyk, Luca Bernardinello, Wieslaw Pawlowski, Lucia Pomello
Modelling and Analysing Systems of Agents by Agent-aware Transition Systems. NATO ASI Mining Massive Data Sets for Security (2007)
Luca Bernardinello, Nicola Bonzanni, Marco Mascheroni, Lucia Pomello
Modeling Symport/Antiport P Systems with a Class of Hierarchical Petri Nets. Workshop on Membrane Computing (2007)
Luca Bernardinello, Elena Monticelli, Lucia Pomello
On Preserving Structural and Behavioural Properties by Composing Net Systems on Interfaces. Fundam. Informaticae 80 (1-3) (2007)
Marek A. Bednarczyk, Luca Bernardinello, Wieslaw Pawlowski, Lucia Pomello
Modelling Mobility with Petri Hypernets. WADT (2004)
Lucia Pomello, Luca Bernardinello
Formal Tools for Modular System Development. ICATPN (2004)
Luca Bernardinello, Carlo Ferigato, Lucia Pomello
An algebraic model of observable properties in distributed systems. Theor. Comput. Sci. 290 (1) (2003)
Marek A. Bednarczyk, Luca Bernardinello, Benoît Caillaud, Wieslaw Pawlowski, Lucia Pomello
Modular System Development with Pullbacks. ICATPN (2003)
Luca Bernardinello, Lucia Pomello
A Category of Transition Systems and Its Relations with Orthomodular Posets. MFCS (1997)
Éric Badouel, Luca Bernardinello, Philippe Darondeau
The Synthesis Problem for Elementary Net Systems is NP-Complete. Theor. Comput. Sci. 186 (1-2) (1997)
Éric Badouel, Luca Bernardinello, Philippe Darondeau
Polynomial Algorithms for the Synthesis of Bounded Nets. TAPSOFT (1995)
Luca Bernardinello, Giorgio De Michelis, Katia Petruni, Sebastiano Vigna
On The Synchronic Structure of Transition Systems. STRICT (1995)
Luca Bernardinello
Synthesis of Net Systems. Application and Theory of Petri Nets (1993)