Lucia Pomello

Available identifiers

zbMath Open pomello.luciaMaRDI QIDQ1662537

List of research outcomes

Publication	Date of Publication	Type
Property-preserving transformations of elementary net systems based on morphisms	2022-08-11	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
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
https://portal.mardi4nfdi.de/entity/Q4430315	2003-10-20	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
https://portal.mardi4nfdi.de/entity/Q4251101	1999-06-17	Paper
An algebraic characterisation of elementary net system (observable) state space	1993-02-04	Paper
Concurrent bisimulations in Petri nets	1991-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3814819	1988-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3782795	1987-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3751025	1986-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3670576	1983-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3670577	1983-01-01	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: Lucia Pomello