Superposed Automata Nets. - Fiorella de Cindio; Giorgio De Michelis; Lucia Pomello; Carla Simone (Selected Papers from the First and the Second European Workshop on Application and Theory of Petri Nets, 1981)

Equivalence Notions for Concurrent Systems. - Fiorella de Cindio; Giorgio De Michelis; Lucia Pomello; Carla Simone (European Workshop on Applications and Theory of Petri Nets, 1982)

Milner's Communicating Systems and Petri Nets. - Fiorella de Cindio; Giorgio De Michelis; Lucia Pomello; Carla Simone (European Workshop on Applications and Theory of Petri Nets, 1982)

Real Systems Modeling: A Formal but Realistic Approach to Organizational Design. - Fiorella de Cindio; Giorgio De Michelis; Lucia Pomello; Carla Simone (International Working Conference on Model Realism, 1982)

Some equivalence notions for concurrent systems. An overview. - Lucia Pomello (Applications and Theory in Petri Nets, 1985)

Exhibited-Behaviour Equivalence and Organizational Abstraction in Concurrent System Design. - Fiorella de Cindio; Giorgio De Michelis; Lucia Pomello; Carla Simone (ICDCS, 1985)

Concurrency versus interleaving: an instructuve example. - Luca Castellano; Giorgio De Michelis; Lucia Pomello (Bull. EATCS, 1987)

A State Transformation Equivalence for Concurrent Systems: Exhibited Functionality-equivalence. - Fiorella de Cindio; Giorgio De Michelis; Lucia Pomello; Carla Simone (Concurrency, 1988)

A state transformation preorder over a class of EN systems. - Lucia Pomello; Carla Simone (Applications and Theory of Petri Nets, 1989)

Refinement of Concurrent Systems Based on Local State Transformations. - Lucia Pomello (REX Workshop, 1989)

Concurrent Bisimulations in Petri Nets. - Eike Best; Raymond Devillers; Astrid Kiehn; Lucia Pomello (Acta Informatica, 1991)

A survey of equivalence notions for net based systems. - Lucia Pomello; Grzegorz Rozenberg; Carla Simone (Advances in Petri Nets: The DEMON Project, 1992)

An Algebraic Characterisation of Elementary Net System (Observable) State Space. - Lucia Pomello; Carla Simone (Formal Aspects Comput., 1992)

A Category of Transition Systems and Its Relations with Orthomodular Posets. - Luca Bernardinello; Lucia Pomello (MFCS, 1997)

Observation equivalences for the semantics of inheritance. - C. Balzarotti; Fiorella de Cindio; Lucia Pomello (FMOODS, 1999)

Modular System Development with Pullbacks. - Marek A. Bednarczyk; Luca Bernardinello; Benoît Caillaud; Wieslaw Pawlowski; Lucia Pomello (ICATPN, 2003)

An algebraic model of observable properties in distributed systems. - Luca Bernardinello; Carlo Ferigato; Lucia Pomello (Theor. Comput. Sci., 2003)

Formal Tools for Modular System Development. - Lucia Pomello; Luca Bernardinello (ICATPN, 2004)

Modelling Mobility with Petri Hypernets. - Marek A. Bednarczyk; Luca Bernardinello; Wieslaw Pawlowski; Lucia Pomello (WADT, 2004)

Modeling Symport/Antiport P Systems with a Class of Hierarchical Petri Nets. - Luca Bernardinello; Nicola Bonzanni; Marco Mascheroni; Lucia Pomello (Workshop on Membrane Computing, 2007)

Modelling and Analysing Systems of Agents by Agent-aware Transition Systems. - Marek A. Bednarczyk; Luca Bernardinello; Wieslaw Pawlowski; Lucia Pomello (NATO ASI Mining Massive Data Sets for Security, 2007)

On Preserving Structural and Behavioural Properties by Composing Net Systems on Interfaces. - Luca Bernardinello; Elena Monticelli; Lucia Pomello (Fundam. Informaticae, 2007)

On Orthomodular Posets Generated by Transition Systems. - Luca Bernardinello; Lucia Pomello; Stefania Rombolà (QPL/DCM@ICALP, 2008)

A Multi-facet Approach to Dynamic Agent Systems. - Marek A. Bednarczyk; Wieslaw Pawlowski; Luca Bernardinello; Lucia Pomello; Tomasz Borzyszkowski (Fundam. Informaticae, 2008)

Orthomodular Lattices in Occurrence Nets. - Luca Bernardinello; Lucia Pomello; Stefania Rombolà (Petri Nets, 2009)

Closure Operators Associated to Partially Ordered Sets. - Luca Bernardinello; Carlo Ferigato; Lucia Pomello; Stefania Rombolà (NCMA, 2009)

Orthomodular Lattices Induced by the Concurrency Relation - Luca Bernardinello; Lucia Pomello; Stefania Rombolà (DCM, 2009)

Closure Operators and Lattices Derived from Concurrency in Posets and Occurrence Nets. - Luca Bernardinello; Lucia Pomello; Stefania Rombolà (Fundam. Informaticae, 2010)

Local state refinement on Elementary Net Systems: an approach based on morphisms. - Luca Bernardinello; Elisabetta Mangioni; Lucia Pomello (PNSE, 2012)

Between quantum logic and concurrency. - Luca Bernardinello; Carlo Ferigato; Lucia Pomello (QPL, 2012)

Local State Refinement and Composition of Elementary Net Systems: An Approach Based on Morphisms. - Luca Bernardinello; Elisabetta Mangioni; Lucia Pomello (Trans. Petri Nets Other Model. Concurr., 2013)

Morphisms on Marked Graphs. - Luca Bernardinello; Lucia Pomello; Stefano Scaccabarozzi (PNSE @ Petri Nets, 2014)

Orthomodular algebraic lattices related to combinatorial posets. - Luca Bernardinello; Lucia Pomello; Stefania Rombolà (ICTCS, 2014)

Closed Sets in Occurrence Nets with Conflicts. - Luca Bernardinello; Carlo Ferigato; Stefan Haar; Lucia Pomello (Fundam. Informaticae, 2014)

Preface. - Serge Haddad; Jetty Kleijn; Lucia Pomello (Fundam. Informaticae, 2014)

Modeling Distributed Private Key Generation by Composing Petri Nets. - Luca Bernardinello; Görkem Kilinç 001; Elisabetta Mangioni; Lucia Pomello (Trans. Petri Nets Other Model. Concurr., 2014)

Non-interference Notions Based on Reveals and Excludes Relations for Petri Nets. - Luca Bernardinello; Görkem Kilinç 001; Lucia Pomello (Trans. Petri Nets Other Model. Concurr., 2016)

Weak Observable Liveness and Infinite Games on Finite Graphs. - Luca Bernardinello; Görkem Kilinç 001; Lucia Pomello (Petri Nets, 2017)

Synthesis of Transition Systems from Quantum Logics. - Luca Bernardinello; Carlo Ferigato; Lucia Pomello; Adrián Puerto Aubel (Fundam. Informaticae, 2017)

On the Decomposition of Regional Events in Elementary Systems. - Luca Bernardinello; Carlo Ferigato; Lucia Pomello; Adrián Puerto Aubel (ATAED@Petri Nets/ACSD, 2018)

Compositional Discovery of Workflow Nets from Event Logs Using Morphisms. - Luca Bernardinello; Irina A. Lomazova; Roman Nesterov; Lucia Pomello (ATAED@Petri Nets/ACSD, 2018)

Checking Weak Observable Liveness on Unfoldings Through Asynchronous Games. - Luca Bernardinello; Lucia Pomello; Adrián Puerto Aubel; Alessandro Villa (PNSE@Petri Nets/ACSD, 2018)

On Stability of Regional Orthomodular Posets. - Luca Bernardinello; Carlo Ferigato; Lucia Pomello; Adrián Puerto Aubel (Trans. Petri Nets Other Model. Concurr., 2018)

The Road from Concurrency to Quantum Logics. - Luca Bernardinello; Lucia Pomello (Carl Adam Petri: Ideas, Personality, Impact, 2019)

An Asynchronous Game on Distributed Petri Nets. - Federica Adobbati; Luca Bernardinello; Lucia Pomello (PNSE@Petri Nets/ACSD, 2019)

Asynchronous Games on Petri Nets and Partial Order. - Federica Adobbati; Luca Bernardinello; Lucia Pomello (ICTCS, 2019)

Logic and Algebra in Unfolded Petri Nets: on a Duality Between Concurrency and Causal Dependence. - Luca Bernardinello; Carlo Ferigato; Lucia Pomello (Fundam. Informaticae, 2020)

Asynchronous games on Petri nets and ATL. - Federica Adobbati; Luca Bernardinello; Lucia Pomello (CoRR, 2021)

A Two-Player Asynchronous Game on Fully Observable Petri Nets. - Federica Adobbati; Luca Bernardinello; Lucia Pomello (Trans. Petri Nets Other Model. Concurr., 2021)

Information Flow among Transitions of Bounded Equal-Conflict Petri Nets. - Federica Adobbati; Luca Bernardinello; Görkem Kilinç Soylu; Lucia Pomello (PNSE@Petri Nets, 2022)

Looking for winning strategies in two-player games on Petri nets with partial observability. - Federica Adobbati; Luca Bernardinello; Lucia Pomello (CoRR, 2022)

Property-Preserving Transformations of Elementary Net Systems Based on Morphisms. - Luca Bernardinello; Irina A. Lomazova; Roman Nesterov; Lucia Pomello (Trans. Petri Nets Other Model. Concurr., 2022)

Solving a Safety Game on the Unfolding of Safe Petri Nets. - Federica Adobbati; Luca Bernardinello; Lucia Pomello (PNSE@Petri Nets, 2023)

Implementable Strategies for a Two-Player Asynchronous Game on Petri Nets. - Federica Adobbati; Luca Bernardinello; Lucia Pomello; Riccardo Stramare (Trans. Petri Nets Other Model. Concurr., 2023)

Computing a Parametric Reveals Relation For Bounded Equal-Conflict Petri Nets. - Federica Adobbati; Luca Bernardinello; Görkem Kilinç Soylu; Lucia Pomello (Trans. Petri Nets Other Model. Concurr., 2023)

Discovering architecture-aware and sound process models of multi-agent systems: a compositional approach. - Roman Nesterov; Luca Bernardinello; Irina A. Lomazova; Lucia Pomello (Softw. Syst. Model., 2023)

Soundness-preserving composition of synchronously and asynchronously interacting workflow net components. - Luca Bernardinello; Irina A. Lomazova; Roman Nesterov; Lucia Pomello (J. Parallel Distributed Comput., 2023)

A Two Player Asynchronous Game With Privacy Constraints on Petri Nets (short paper). - Federica Adobbati; Luca Bernardinello; Lucia Pomello (ICTCS, 2024)