Lucia Pomello

Available identifiers

zbMath Open pomello.luciaMaRDI QIDQ1662537

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
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

This page was built for person: Lucia Pomello