Lucia Pomello

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