Luca Bernardinello

发表

Polynomial Algorithms for the Synthesis of Bounded Nets

Philippe Darondeau, Eric Badouel, Luca Bernardinello, 1995, TAPSOFT.

Orthomodular Lattices Induced by the Concurrency Relation

Luca Bernardinello, Lucia Pomello, Stefania Rombolà, 2009, DCM.

Closed Sets in Occurrence Nets with Conflicts

Stefan Haar, Luca Bernardinello, Lucia Pomello, 2014, Fundam. Informaticae.

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

Luca Bernardinello, Lucia Pomello, Stefania Rombolà, 2010, Fundam. Informaticae.

Asynchronous Games on Petri Nets and Partial Order

Luca Bernardinello, Lucia Pomello, Federica Adobbati, 2019, ICTCS.

Closure Operators Associated to Partially Ordered Sets

Luca Bernardinello, Lucia Pomello, Stefania Rombolà, 2009, NCMA.

Modeling Distributed Private Key Generation by Composing Petri Nets

Luca Bernardinello, Lucia Pomello, Görkem Kilinç, 2013, PNSE+ModPE.

A Multi-facet Approach to Dynamic Agent Systems

Luca Bernardinello, Lucia Pomello, Marek A. Bednarczyk, 2008, Fundam. Informaticae.

Compositional Discovery of Workflow Nets from Event Logs Using Morphisms pdf

Irina A. Lomazova, Luca Bernardinello, Lucia Pomello, 2018, ATAED@Petri Nets/ACSD.

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

Luca Bernardinello, Lucia Pomello, Carlo Ferigato, 2020, Fundam. Informaticae.

Synthesis of Transition Systems from Quantum Logics

Luca Bernardinello, Lucia Pomello, Carlo Ferigato, 2017, Fundam. Informaticae.

Introduction to Elementary Net Synthesis

Philippe Darondeau, Eric Badouel, Luca Bernardinello, 2015 .

On the Decomposition of Regional Events in Elementary Systems

Luca Bernardinello, Lucia Pomello, Carlo Ferigato, 2018, ATAED@Petri Nets/ACSD.

An algebraic model of observable properties in distributed systems

Luca Bernardinello, Lucia Pomello, Carlo Ferigato, 2003, Theor. Comput. Sci..

Algorithms of Elementary Net Synthesis

Philippe Darondeau, Eric Badouel, Luca Bernardinello, 2015 .

Weak Observable Liveness and Infinite Games on Finite Graphs

Luca Bernardinello, Lucia Pomello, Görkem Kilinç, 2017, Petri Nets.

On a Logic of Observations in Occurrence Nets: Short Presentation at the Combined 21st International Workshop on Expressiveness in Concurrency and 11th Workshop on Structural Operational Semantics

Luca Bernardinello, Lucia Pomello, Stefania Rombolà, 2014 .

Orthomodular Lattices in Occurrence Nets

Luca Bernardinello, Lucia Pomello, Stefania Rombolà, 2009, Petri Nets.

Dynamically closed sets for the logical analysis of systems

Stefan Haar, Luca Bernardinello, Lucia Pomello, 2011 .

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

Luca Bernardinello, Lucia Pomello, Elisabetta Mangioni, 2013, Trans. Petri Nets Other Model. Concurr..

Orthomodular algebraic lattices related to combinatorial posets

Luca Bernardinello, Lucia Pomello, Stefania Rombolà, 2014, ICTCS.

Models of Concurrency, Communication and Computation

Luca Bernardinello, Lucia Pomello, Stefania Rombol, 2009 .

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

Luca Bernardinello, Lucia Pomello, Marek A. Bednarczyk, 2007, NATO ASI Mining Massive Data Sets for Security.

Design of Speed Independent Circuits

Philippe Darondeau, Eric Badouel, Luca Bernardinello, 2015 .

Petri Net Synthesis

Philippe Darondeau, Eric Badouel, Luca Bernardinello, 2015, Texts in Theoretical Computer Science. An EATCS Series.

The Synthesis Problem for Elementary Net Systems is NP-Complete

Philippe Darondeau, Eric Badouel, Luca Bernardinello, 1997, Theor. Comput. Sci..

On Orthomodular Posets Generated by Transition Systems

Luca Bernardinello, Lucia Pomello, Stefania Rombolà, 2011, Electron. Notes Theor. Comput. Sci..

On The Synchronic Structure of Transition Systems

Giorgio De Michelis, Sebastiano Vigna, Luca Bernardinello, 1995, STRICT.

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

Luca Bernardinello, Lucia Pomello, Marco Mascheroni, 2007, Workshop on Membrane Computing.

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

Luca Bernardinello, Francesco Adalberto Bianchi, 2012, PNSE.

Morphisms on Marked Graphs

Luca Bernardinello, Lucia Pomello, Stefano Scaccabarozzi, 2014, PNSE @ Petri Nets.

Formal Tools for Modular System Development

Luca Bernardinello, Lucia Pomello, L. Bernardinello, 2004, ICATPN.

Between quantum logic and concurrency

Luca Bernardinello, Lucia Pomello, Carlo Ferigato, 2012, QPL.

Dynamically Closed Sets in Occurrence Nets

Stefan Haar, Luca Bernardinello, Lucia Pomello, 2013 .

An Asynchronous Game on Distributed Petri Nets

Luca Bernardinello, Lucia Pomello, Federica Adobbati, 2019, PNSE@Petri Nets/ACSD.

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

Luca Bernardinello, Lucia Pomello, Elena Monticelli, 2007, Fundam. Informaticae.

Variations of Elementary Net Synthesis

Philippe Darondeau, Eric Badouel, Luca Bernardinello, 2015 .

Modelling Mobility with Petri Hypernets

Luca Bernardinello, Lucia Pomello, Marek A. Bednarczyk, 2004, WADT.

The Road from Concurrency to Quantum Logics

Luca Bernardinello, Lucia Pomello, 2019, Carl Adam Petri: Ideas, Personality, Impact.

A Category of Transition Systems and Its Relations with Orthomodular Posets

Luca Bernardinello, Lucia Pomello, L. Bernardinello, 1997, MFCS.

A survey of basic net models and modular net classes

Luca Bernardinello, Fiorella de Cindio, L. Bernardinello, 1992, Advances in Petri Nets: The DEMON Project.

Property-Preserving Transformations of Elementary Net Systems Based on Morphisms

Luca Bernardinello, Lucia Pomello, Roman Nesterov, 2020, PNSE@Petri Nets.

Extracting Concurrency from Transition Systems

Philippe Darondeau, Eric Badouel, Luca Bernardinello, 2015 .

Checking Weak Observable Liveness on Unfoldings Through Asynchronous Games

Luca Bernardinello, Lucia Pomello, Adrián Puerto Aubel, 2018, PNSE@Petri Nets/ACSD.

Synthesis of Net Systems

Luca Bernardinello, L. Bernardinello, 1993, Application and Theory of Petri Nets.

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

Luca Bernardinello, Lucia Pomello, Görkem Kilinç, 2015, PNSE @ Petri Nets.

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

Luca Bernardinello, Lucia Pomello, Roman Nesterov, 2020, ArXiv.

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

Luca Bernardinello, Lucia Pomello, Elisabetta Mangioni, 2012, PNSE.

Towards Modular Synthesis of Elementary Net Systems

Luca Bernardinello, Lucia Pomello, Carlo Ferigato, 2002 .

Modular System Development with Pullbacks

Benoît Caillaud, Luca Bernardinello, Lucia Pomello, 2003, ICATPN.

On Stability of Regional Orthomodular Posets

Luca Bernardinello, Lucia Pomello, Carlo Ferigato, 2017, ATAED@Petri Nets/ACSD.

A Two-Player Asynchronous Game on Fully Observable Petri Nets

Luca Bernardinello, Lucia Pomello, Federica Adobbati, 2021, Trans. Petri Nets Other Model. Concurr..

Topics in Region Theory and Synthesis Problems

Luca Bernardinello, 2021, Petri Nets.

Asynchronous games on Petri nets and ATL pdf

Luca Bernardinello, Lucia Pomello, Federica Adobbati, 2021, ArXiv.