Luca Bernardinello

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