Lucia Pomello

Publication Activity (10 Years)

Years Active: 1981-2023
Publications (10 Years): 25

Top Topics

Partial Observability

Top Venues

Trans. Petri Nets Other Model. Concurr.

Fundam. Informaticae

ATAED@Petri Nets/ACSD

Publications

Federica Adobbati, Luca Bernardinello, Lucia Pomello
Solving a Safety Game on the Unfolding of Safe Petri Nets. PNSE@Petri Nets (2023)
Federica Adobbati, Luca Bernardinello, Lucia Pomello, Riccardo Stramare
Implementable Strategies for a Two-Player Asynchronous Game on Petri Nets. Trans. Petri Nets Other Model. Concurr. 17 (2023)
Federica Adobbati, Luca Bernardinello, Görkem Kilinç Soylu, Lucia Pomello
Computing a Parametric Reveals Relation For Bounded Equal-Conflict Petri Nets. Trans. Petri Nets Other Model. Concurr. 17 (2023)
Roman Nesterov, Luca Bernardinello, Irina A. Lomazova, Lucia Pomello
Discovering architecture-aware and sound process models of multi-agent systems: a compositional approach. Softw. Syst. Model. 22 (1) (2023)
Luca Bernardinello, Irina A. Lomazova, Roman Nesterov, Lucia Pomello
Soundness-preserving composition of synchronously and asynchronously interacting workflow net components. J. Parallel Distributed Comput. 179 (2023)
Federica Adobbati, Luca Bernardinello, Lucia Pomello, Riccardo Stramare
Implementable Strategies for a Two-Player Asynchronous Game on Petri Nets. ATAED@Petri Nets (2022)
Federica Adobbati, Luca Bernardinello, Görkem Kilinç Soylu, Lucia Pomello
Information Flow among Transitions of Bounded Equal-Conflict Petri Nets. PNSE@Petri Nets (2022)
Federica Adobbati, Luca Bernardinello, Lucia Pomello
Looking for winning strategies in two-player games on Petri nets with partial observability. CoRR (2022)
Luca Bernardinello, Irina A. Lomazova, Roman Nesterov, Lucia Pomello
Property-Preserving Transformations of Elementary Net Systems Based on Morphisms. Trans. Petri Nets Other Model. Concurr. 16 (2022)
Federica Adobbati, Luca Bernardinello, Lucia Pomello
Asynchronous games on Petri nets and ATL. CoRR (2021)
Federica Adobbati, Luca Bernardinello, Lucia Pomello
A Two-Player Asynchronous Game on Fully Observable Petri Nets. Trans. Petri Nets Other Model. Concurr. 15 (2021)
Luca Bernardinello, Irina A. Lomazova, Roman Nesterov, Lucia Pomello
Property-Preserving Transformations of Elementary Net Systems Based on Morphisms. PNSE@Petri Nets (2020)
Luca Bernardinello, Irina A. Lomazova, Roman Nesterov, Lucia Pomello
Soundness-preserving composition of synchronously and asynchronously interacting workflow net components. CoRR (2020)
Luca Bernardinello, Carlo Ferigato, Lucia Pomello
Logic and Algebra in Unfolded Petri Nets: on a Duality Between Concurrency and Causal Dependence. Fundam. Informaticae 171 (1-4) (2020)
Federica Adobbati, Luca Bernardinello, Lucia Pomello
Asynchronous Games on Petri Nets and Partial Order. ICTCS (2019)
Federica Adobbati, Luca Bernardinello, Lucia Pomello
An Asynchronous Game on Distributed Petri Nets. PNSE@Petri Nets/ACSD (2019)
Luca Bernardinello, Carlo Ferigato, Lucia Pomello, Adrián Puerto Aubel
On Stability of Regional Orthomodular Posets. Trans. Petri Nets Other Model. Concurr. 13 (2018)
Luca Bernardinello, Lucia Pomello, Adrián Puerto Aubel, Alessandro Villa
Checking Weak Observable Liveness on Unfoldings Through Asynchronous Games. PNSE@Petri Nets/ACSD (2018)
Luca Bernardinello, Irina A. Lomazova, Roman Nesterov, Lucia Pomello
Compositional Discovery of Workflow Nets from Event Logs Using Morphisms. ATAED@Petri Nets/ACSD (2018)
Luca Bernardinello, Irina A. Lomazova, Roman Nesterov, Lucia Pomello
Compositional Discovery of Workflow Nets from Event Logs Using Morphisms. CoRR (2018)
Luca Bernardinello, Carlo Ferigato, Lucia Pomello, Adrián Puerto Aubel
On the Decomposition of Regional Events in Elementary Systems. ATAED@Petri Nets/ACSD (2018)
Luca Bernardinello, Görkem Kilinç, Lucia Pomello
Weak Observable Liveness and Infinite Games on Finite Graphs. Petri Nets (2017)
Luca Bernardinello, Carlo Ferigato, Lucia Pomello, Adrián Puerto Aubel
On Stability of Regional Orthomodular Posets. ATAED@Petri Nets/ACSD (2017)
Luca Bernardinello, Carlo Ferigato, Lucia Pomello, Adrián Puerto Aubel
Synthesis of Transition Systems from Quantum Logics. Fundam. Informaticae 154 (1-4) (2017)
Luca Bernardinello, Görkem Kilinç, Lucia Pomello
Non-interference Notions Based on Reveals and Excludes Relations for Petri Nets. Trans. Petri Nets Other Model. Concurr. 11 (2016)
Luca Bernardinello, Görkem Kilinç, Lucia Pomello
Non-Interference Notions Based on Reveals and Excludes Relations for Petri Nets. PNSE @ Petri Nets (2015)
Luca Bernardinello, Lucia Pomello, Stefano Scaccabarozzi
Morphisms on Marked Graphs. PNSE @ Petri Nets (2014)
Luca Bernardinello, Lucia Pomello, Stefania Rombolà
Orthomodular algebraic lattices related to combinatorial posets. ICTCS (2014)
Luca Bernardinello, Carlo Ferigato, Stefan Haar, Lucia Pomello
Closed Sets in Occurrence Nets with Conflicts. Fundam. Informaticae 133 (4) (2014)
Serge Haddad, Jetty Kleijn, Lucia Pomello
Preface. Fundam. Informaticae 131 (1) (2014)
Luca Bernardinello, Görkem Kilinç, Elisabetta Mangioni, Lucia Pomello
Modeling Distributed Private Key Generation by Composing Petri Nets. Trans. Petri Nets Other Model. Concurr. 9 (2014)
Luca Bernardinello, Görkem Kilinç, Elisabetta Mangioni, Lucia Pomello
Modeling Distributed Private Key Generation by Composing Petri Nets. PNSE+ModPE (2013)
Luca Bernardinello, Elisabetta Mangioni, Lucia Pomello
Local State Refinement and Composition of Elementary Net Systems: An Approach Based on Morphisms. Trans. Petri Nets Other Model. Concurr. 8 (2013)
Luca Bernardinello, Elisabetta Mangioni, Lucia Pomello
Local state refinement on Elementary Net Systems: an approach based on morphisms. PNSE (2012)
Luca Bernardinello, Carlo Ferigato, Lucia Pomello
Between quantum logic and concurrency. QPL (2012)
Luca Bernardinello, Lucia Pomello, Stefania Rombolà
On Orthomodular Posets Generated by Transition Systems. Electron. Notes Theor. Comput. Sci. 270 (1) (2011)
Luca Bernardinello, Lucia Pomello, Stefania Rombolà
Closure Operators and Lattices Derived from Concurrency in Posets and Occurrence Nets. Fundam. Informaticae 105 (3) (2010)
Luca Bernardinello, Carlo Ferigato, Lucia Pomello, Stefania Rombolà
Closure Operators Associated to Partially Ordered Sets. NCMA (2009)
Luca Bernardinello, Lucia Pomello, Stefania Rombolà
Orthomodular Lattices in Occurrence Nets. Petri Nets (2009)
Luca Bernardinello, Lucia Pomello, Stefania Rombolà
Orthomodular Lattices Induced by the Concurrency Relation DCM (2009)
Marek A. Bednarczyk, Wieslaw Pawlowski, Luca Bernardinello, Lucia Pomello, Tomasz Borzyszkowski
A Multi-facet Approach to Dynamic Agent Systems. Fundam. Informaticae 85 (1-4) (2008)
Marek A. Bednarczyk, Luca Bernardinello, Wieslaw Pawlowski, Lucia Pomello
Modelling and Analysing Systems of Agents by Agent-aware Transition Systems. NATO ASI Mining Massive Data Sets for Security (2007)
Luca Bernardinello, Nicola Bonzanni, Marco Mascheroni, Lucia Pomello
Modeling Symport/Antiport P Systems with a Class of Hierarchical Petri Nets. Workshop on Membrane Computing (2007)
Luca Bernardinello, Elena Monticelli, Lucia Pomello
On Preserving Structural and Behavioural Properties by Composing Net Systems on Interfaces. Fundam. Informaticae 80 (1-3) (2007)
Marek A. Bednarczyk, Luca Bernardinello, Wieslaw Pawlowski, Lucia Pomello
Modelling Mobility with Petri Hypernets. WADT (2004)
Lucia Pomello, Luca Bernardinello
Formal Tools for Modular System Development. ICATPN (2004)
Luca Bernardinello, Carlo Ferigato, Lucia Pomello
An algebraic model of observable properties in distributed systems. Theor. Comput. Sci. 290 (1) (2003)
Marek A. Bednarczyk, Luca Bernardinello, Benoît Caillaud, Wieslaw Pawlowski, Lucia Pomello
Modular System Development with Pullbacks. ICATPN (2003)
C. Balzarotti, Fiorella de Cindio, Lucia Pomello
Observation equivalences for the semantics of inheritance. FMOODS (1999)
Luca Bernardinello, Lucia Pomello
A Category of Transition Systems and Its Relations with Orthomodular Posets. MFCS (1997)
Lucia Pomello, Carla Simone
An Algebraic Characterisation of Elementary Net System (Observable) State Space. Formal Aspects Comput. 4 (6A) (1992)
Eike Best, Raymond R. Devillers, Astrid Kiehn, Lucia Pomello
Concurrent Bisimulations in Petri Nets. Acta Informatica 28 (3) (1991)
Lucia Pomello
Refinement of Concurrent Systems Based on Local State Transformations. REX Workshop (1989)
Lucia Pomello, Carla Simone
A state transformation preorder over a class of EN systems. Applications and Theory of Petri Nets (1989)
Fiorella de Cindio, Giorgio De Michelis, Lucia Pomello, Carla Simone
A State Transformation Equivalence for Concurrent Systems: Exhibited Functionality-equivalence. Concurrency (1988)
Luca Castellano, Giorgio De Michelis, Lucia Pomello
Concurrency versus interleaving: an instructuve example. Bull. EATCS 31 (1987)
Lucia Pomello
Some equivalence notions for concurrent systems. An overview. Applications and Theory in Petri Nets (1985)
Fiorella de Cindio, Giorgio De Michelis, Lucia Pomello, Carla Simone
Exhibited-Behaviour Equivalence and Organizational Abstraction in Concurrent System Design. ICDCS (1985)
Fiorella de Cindio, Giorgio De Michelis, Lucia Pomello, Carla Simone
Equivalence Notions for Concurrent Systems. European Workshop on Applications and Theory of Petri Nets (1982)
Fiorella de Cindio, Giorgio De Michelis, Lucia Pomello, Carla Simone
Real Systems Modeling: A Formal but Realistic Approach to Organizational Design. International Working Conference on Model Realism (1982)
Fiorella de Cindio, Giorgio De Michelis, Lucia Pomello, Carla Simone
Milner's Communicating Systems and Petri Nets. European Workshop on Applications and Theory of Petri Nets (1982)
Fiorella de Cindio, Giorgio De Michelis, Lucia Pomello, Carla Simone
Superposed Automata Nets. Selected Papers from the First and the Second European Workshop on Application and Theory of Petri Nets (1981)