Luca Bernardinello

According to our database, Luca Bernardinello authored at least 53 papers between 1992 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2024

Preface.

Luca Bernardinello, Jetty Kleijn, Laure Petrucci

Fundam. Informaticae, 2024

A Two Player Asynchronous Game With Privacy Constraints on Petri Nets (short paper).

Federica Adobbati, Luca Bernardinello, Lucia Pomello

Proceedings of the 25th Italian Conference on Theoretical Computer Science, 2024

2023

Soundness-preserving composition of synchronously and asynchronously interacting workflow net components.

Luca Bernardinello, Irina A. Lomazova, Roman Nesterov, Lucia Pomello

J. Parallel Distributed Comput., September, 2023

Discovering architecture-aware and sound process models of multi-agent systems: a compositional approach.

Roman Nesterov, Luca Bernardinello, Irina A. Lomazova, Lucia Pomello

Softw. Syst. Model., February, 2023

Computing a Parametric Reveals Relation For Bounded Equal-Conflict Petri Nets.

Federica Adobbati, Luca Bernardinello, Görkem Kilinç Soylu, Lucia Pomello

Trans. Petri Nets Other Model. Concurr., 2023

Implementable Strategies for a Two-Player Asynchronous Game on Petri Nets.

Federica Adobbati, Luca Bernardinello, Lucia Pomello, Riccardo Stramare

Trans. Petri Nets Other Model. Concurr., 2023

Solving a Safety Game on the Unfolding of Safe Petri Nets.

Federica Adobbati, Luca Bernardinello, Lucia Pomello

Proceedings of the 2023 International Workshop on Petri Nets and Software Engineering (PNSE 2023) co-located with the 44th International Conference on Application and Theory of Petri Nets and Concurrency (PETRI NETS 2023), 2023

2022

Property-Preserving Transformations of Elementary Net Systems Based on Morphisms.

Luca Bernardinello, Irina A. Lomazova, Roman Nesterov, Lucia Pomello

Trans. Petri Nets Other Model. Concurr., 2022

Looking for winning strategies in two-player games on Petri nets with partial observability.

Federica Adobbati, Luca Bernardinello, Lucia Pomello

CoRR, 2022

Information Flow among Transitions of Bounded Equal-Conflict Petri Nets.

Federica Adobbati, Luca Bernardinello, Görkem Kilinç Soylu, Lucia Pomello

Proceedings of the Petri Nets and Software Engineering 2022 co-located with the 43rd International Conference on Application and Theory of Petri Nets and Concurrency (PETRI NETS 2022), 2022

2021

A Two-Player Asynchronous Game on Fully Observable Petri Nets.

Federica Adobbati, Luca Bernardinello, Lucia Pomello

Trans. Petri Nets Other Model. Concurr., 2021

Asynchronous games on Petri nets and ATL.

Federica Adobbati, Luca Bernardinello, Lucia Pomello

CoRR, 2021

Topics in Region Theory and Synthesis Problems.

Luca Bernardinello

Proceedings of the Application and Theory of Petri Nets and Concurrency, 2021

2020

Logic and Algebra in Unfolded Petri Nets: on a Duality Between Concurrency and Causal Dependence.

Luca Bernardinello, Carlo Ferigato, Lucia Pomello

Fundam. Informaticae, 2020

2019

Asynchronous Games on Petri Nets and Partial Order.

Federica Adobbati, Luca Bernardinello, Lucia Pomello

Proceedings of the 20th Italian Conference on Theoretical Computer Science, 2019

An Asynchronous Game on Distributed Petri Nets.

Federica Adobbati, Luca Bernardinello, Lucia Pomello

Proceedings of the International Workshop on Petri Nets and Software Engineering (PNSE 2019), 2019

The Road from Concurrency to Quantum Logics.

Luca Bernardinello, Lucia Pomello

Proceedings of the Carl Adam Petri: Ideas, Personality, Impact, 2019

2018

On Stability of Regional Orthomodular Posets.

Luca Bernardinello, Carlo Ferigato, Lucia Pomello, Adrián Puerto Aubel

Trans. Petri Nets Other Model. Concurr., 2018

Checking Weak Observable Liveness on Unfoldings Through Asynchronous Games.

Luca Bernardinello, Lucia Pomello, Adrián Puerto Aubel, Alessandro Villa

Proceedings of the International Workshop on Petri Nets and Software Engineering (PNSE'18), 2018

Compositional Discovery of Workflow Nets from Event Logs Using Morphisms.

Luca Bernardinello, Irina A. Lomazova, Roman Nesterov, Lucia Pomello

Proceedings of the International Workshop on Algorithms & Theories for the Analysis of Event Data 2018 Satellite event of the conferences: 39th International Conference on Application and Theory of Petri Nets and Concurrency Petri Nets 2018 and 18th International Conference on Application of Concurrency to System Design ACSD 2018, 2018

On the Decomposition of Regional Events in Elementary Systems.

Luca Bernardinello, Carlo Ferigato, Lucia Pomello, Adrián Puerto Aubel

Proceedings of the International Workshop on Algorithms & Theories for the Analysis of Event Data 2018 Satellite event of the conferences: 39th International Conference on Application and Theory of Petri Nets and Concurrency Petri Nets 2018 and 18th International Conference on Application of Concurrency to System Design ACSD 2018, 2018

2017

Synthesis of Transition Systems from Quantum Logics.

Luca Bernardinello, Carlo Ferigato, Lucia Pomello, Adrián Puerto Aubel

Fundam. Informaticae, 2017

Weak Observable Liveness and Infinite Games on Finite Graphs.

Luca Bernardinello, Görkem Kilinç, Lucia Pomello

Proceedings of the Application and Theory of Petri Nets and Concurrency, 2017

2016

Non-interference Notions Based on Reveals and Excludes Relations for Petri Nets.

Luca Bernardinello, Görkem Kilinç, Lucia Pomello

Trans. Petri Nets Other Model. Concurr., 2016

2015

Petri Net Synthesis

Éric Badouel, Luca Bernardinello, Philippe Darondeau

Texts in Theoretical Computer Science. An EATCS Series, Springer, ISBN: 978-3-662-47967-4, 2015

Guest Editorial for Special Issue Application of Concurrency to System Design.

Kamel Barkaoui, Luca Bernardinello, Andrey Mokhov

ACM Trans. Embed. Comput. Syst., 2015

2014

Modeling Distributed Private Key Generation by Composing Petri Nets.

Luca Bernardinello, Görkem Kilinç, Elisabetta Mangioni, Lucia Pomello

Trans. Petri Nets Other Model. Concurr., 2014

Closed Sets in Occurrence Nets with Conflicts.

Luca Bernardinello, Carlo Ferigato, Stefan Haar, Lucia Pomello

Fundam. Informaticae, 2014

Orthomodular algebraic lattices related to combinatorial posets.

Luca Bernardinello, Lucia Pomello, Stefania Rombolà

Proceedings of the 15th Italian Conference on Theoretical Computer Science, 2014

Morphisms on Marked Graphs.

Luca Bernardinello, Lucia Pomello, Stefano Scaccabarozzi

Proceedings of the International Workshop on Petri Nets and Software Engineering, 2014

2013

Local State Refinement and Composition of Elementary Net Systems: An Approach Based on Morphisms.

Luca Bernardinello, Elisabetta Mangioni, Lucia Pomello

Trans. Petri Nets Other Model. Concurr., 2013

2012

Between quantum logic and concurrency.

Luca Bernardinello, Carlo Ferigato, Lucia Pomello

Proceedings of the Proceedings 9th Workshop on Quantum Physics and Logic, 2012

Local state refinement on Elementary Net Systems: an approach based on morphisms.

Luca Bernardinello, Elisabetta Mangioni, Lucia Pomello

Proceedings of the International Workshop on Petri Nets and Software Engineering, 2012

A Concurrent Simulator for Petri Nets Based on the Paradigm of Actors of Hewitt.

Luca Bernardinello, Francesco Adalberto Bianchi

Proceedings of the International Workshop on Petri Nets and Software Engineering, 2012

2010

Closure Operators and Lattices Derived from Concurrency in Posets and Occurrence Nets.

Luca Bernardinello, Lucia Pomello, Stefania Rombolà

Fundam. Informaticae, 2010

2009

Orthomodular Lattices Induced by the Concurrency Relation

Luca Bernardinello, Lucia Pomello, Stefania Rombolà

Proceedings of the Proceedings Fifth Workshop on Developments in Computational Models--Computational Models From Nature, 2009

Closure Operators Associated to Partially Ordered Sets.

Luca Bernardinello, Carlo Ferigato, Lucia Pomello, Stefania Rombolà

Proceedings of the Workshop on Non-Classical Models for Automata and Applications - NCMA 2009, Wroclaw, Poland, August 31, 2009

Orthomodular Lattices in Occurrence Nets.

Luca Bernardinello, Lucia Pomello, Stefania Rombolà

Proceedings of the Applications and Theory of Petri Nets, 2009

2008

A Multi-facet Approach to Dynamic Agent Systems.

Marek A. Bednarczyk, Wieslaw Pawlowski, Luca Bernardinello, Lucia Pomello, Tomasz Borzyszkowski

Fundam. Informaticae, 2008

On Orthomodular Posets Generated by Transition Systems.

Luca Bernardinello, Lucia Pomello, Stefania Rombolà

Proceedings of the Joint 5th International Workshop on Quantum Physics and Logic and 4th Workshop on Developments in Computational Models, 2008

2007

On Preserving Structural and Behavioural Properties by Composing Net Systems on Interfaces.

Luca Bernardinello, Elena Monticelli, Lucia Pomello

Fundam. Informaticae, 2007

Modelling and Analysing Systems of Agents by Agent-aware Transition Systems.

Marek A. Bednarczyk, Luca Bernardinello, Wieslaw Pawlowski, Lucia Pomello

Proceedings of the Mining Massive Data Sets for Security, 2007

Modeling Symport/Antiport P Systems with a Class of Hierarchical Petri Nets.

Luca Bernardinello, Nicola Bonzanni, Marco Mascheroni, Lucia Pomello

Proceedings of the Membrane Computing, 8th International Workshop, 2007

2004

Modelling Mobility with Petri Hypernets.

Marek A. Bednarczyk, Luca Bernardinello, Wieslaw Pawlowski, Lucia Pomello

Proceedings of the Recent Trends in Algebraic Development Techniques, 2004

Formal Tools for Modular System Development.

Lucia Pomello, Luca Bernardinello

Proceedings of the Applications and Theory of Petri Nets 2004, 2004

2003

An algebraic model of observable properties in distributed systems.

Luca Bernardinello, Carlo Ferigato, Lucia Pomello

Theor. Comput. Sci., 2003

Modular System Development with Pullbacks.

Marek A. Bednarczyk, Luca Bernardinello, Benoît Caillaud, Wieslaw Pawlowski, Lucia Pomello

Proceedings of the Applications and Theory of Petri Nets 2003, 2003

1997

The Synthesis Problem for Elementary Net Systems is NP-Complete.

Éric Badouel, Luca Bernardinello, Philippe Darondeau

Theor. Comput. Sci., 1997

A Category of Transition Systems and Its Relations with Orthomodular Posets.

Luca Bernardinello, Lucia Pomello

Proceedings of the Mathematical Foundations of Computer Science 1997, 1997

1995

Polynomial Algorithms for the Synthesis of Bounded Nets.

Éric Badouel, Luca Bernardinello, Philippe Darondeau

Proceedings of the TAPSOFT'95: Theory and Practice of Software Development, 1995

On The Synchronic Structure of Transition Systems.

Luca Bernardinello, Giorgio De Michelis, Katia Petruni, Sebastiano Vigna

Proceedings of the International Workshop on Structures in Concurrency Theory, 1995

1993

Synthesis of Net Systems.

Luca Bernardinello

Proceedings of the Application and Theory of Petri Nets 1993, 1993

1992

A survey of basic net models and modular net classes.

Luca Bernardinello, Fiorella de Cindio

Proceedings of the Advances in Petri Nets 1992, The DEMON Project, 1992