Luca Bernardinello

Available identifiers

zbMath Open bernardinello.lucaMaRDI QIDQ897108

List of research outcomes

Publication	Date of Publication	Type
Computing a parametric reveals relation for bounded equal-conflict Petri nets	2024-06-05	Paper
Implementable strategies for a two-player asynchronous game on Petri nets	2024-06-05	Paper
Polynomial algorithms for the synthesis of bounded nets	2022-08-18	Paper
Property-preserving transformations of elementary net systems based on morphisms	2022-08-11	Paper
Topics in region theory and synthesis problems	2022-03-21	Paper
https://portal.mardi4nfdi.de/entity/Q4995147	2021-06-23	Paper
A two-player asynchronous game on fully observable Petri nets	2021-06-14	Paper
On stability of regional orthomodular posets	2021-06-14	Paper
https://portal.mardi4nfdi.de/entity/Q5146648	2021-01-26	Paper
Logic and Algebra in Unfolded Petri Nets: on a Duality Between Concurrency and Causal Dependence	2020-06-21	Paper
Weak observable liveness and infinite games on finite graphs	2018-08-20	Paper
Synthesis of Transition Systems from Quantum Logics	2018-01-19	Paper
Non-interference Notions Based on Reveals and Excludes Relations for Petri Nets	2017-06-20	Paper
On orthomodular posets generated by transition systems	2016-10-07	Paper
Petri net synthesis	2015-12-16	Paper
Modeling Distributed Private Key Generation by Composing Petri Nets	2015-11-12	Paper
Closed Sets in Occurrence Nets with Conflicts	2015-06-26	Paper
Local State Refinement and Composition of Elementary Net Systems: An Approach Based on Morphisms	2013-09-17	Paper
Closure Operators and Lattices Derived from Concurrency in Posets and Occurrence Nets	2011-03-28	Paper
Modular System Development with Pullbacks	2010-03-31	Paper
Orthomodular Lattices in Occurrence Nets	2009-06-30	Paper
https://portal.mardi4nfdi.de/entity/Q5506351	2009-01-28	Paper
https://portal.mardi4nfdi.de/entity/Q3504337	2008-06-11	Paper
Modeling Symport/Antiport P Systems with a Class of Hierarchical Petri Nets	2008-03-28	Paper
https://portal.mardi4nfdi.de/entity/Q5431911	2008-01-02	Paper
Applications and Theory of Petri Nets 2004	2005-12-23	Paper
Recent Trends in Algebraic Development Techniques	2005-11-11	Paper
An algebraic model of observable properties in distributed systems	2003-01-21	Paper
https://portal.mardi4nfdi.de/entity/Q3152834	2002-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q4699291	2000-02-01	Paper
The synthesis problem for elementary net systems is NP-complete	1998-06-30	Paper

Research outcomes over time

This page was built for person: Luca Bernardinello