Luca Bernardinello

Available identifiers

zbMath Open bernardinello.lucaMaRDI QIDQ897108

List of research outcomes

Publication	Date of Publication	Type
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

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Luca Bernardinello