A compositional semantics for unmarked predicate/transition nets. - Andrea Maggiolo-Schettini; G. Michele Pinna; Józef Winkowski (Fundam. Informaticae, 1991)

On the Nature of Events. - G. Michele Pinna; Axel Poigné (MFCS, 1992)

On the Specification of Elementary Reactive Behaviour. - G. Michele Pinna; Axel Poigné (MFPS, 1993)

Event Automata as a Generic Model of Reactive Systems. - G. Michele Pinna; Axel Poigné (KORSO Book, 1995)

On the Nature of Events: Another Perspective in Concurrency. - G. Michele Pinna; Axel Poigné (Theor. Comput. Sci., 1995)

Non Sequential Semantics for Contextual P/T Nets. - Nadia Busi; G. Michele Pinna (Application and Theory of Petri Nets, 1996)

Synthesis of Nets with Inhibitor Arcs. - Nadia Busi; G. Michele Pinna (CONCUR, 1997)

Verifying a Time-Triggered Protocol in a Multi-language Environment. - Agathe Merceron; Monika Müllerburg; G. Michele Pinna (SAFECOMP, 1998)

Coordination of Synchronous Programs. - Reinhard Budde; G. Michele Pinna; Axel Poigné (COORDINATION, 1999)

Process Semantics for Place/Transition Nets with Inhibitor and Read Arcs. - Nadia Busi; G. Michele Pinna (Fundam. Informaticae, 1999)

Refinement and Modular Verification with Observers. - Agathe Merceron; G. Michele Pinna (APAQS, 2000)

Functorial Concurrent Semantics for Petri Nets with Read and Inhibitor Arcs. - Paolo Baldan; Nadia Busi; Andrea Corradini 001; G. Michele Pinna (CONCUR, 2000)

Comparing Truly Concurrent Semantics for Contextual Place/Transition Nets with Inhibitor and Read Arcs. - Nadia Busi; G. Michele Pinna (Fundam. Informaticae, 2000)

A Cut-free Proof System for Bounded Metric Temporal Logic Over a Dense Time Domain. - Franco Montagna; G. Michele Pinna; Elisa B. P. Tiezzi (Math. Log. Q., 2000)

Specifying and verifying reactive systems in a multi-language environment. - Agathe Merceron; Monika Müllerburg; G. Michele Pinna (TOSCA, 2001)

Component-based Verification in a Synchronous Setting. - Agathe Merceron; G. Michele Pinna (Int. J. Softw. Eng. Knowl. Eng., 2001)

Investigations on Fragments of First Order Branching Temporal Logic. - Franco Montagna; G. Michele Pinna; Elisa B. P. Tiezzi (Math. Log. Q., 2002)

A Tableau Calculus for Hájek's Logic BL. - Franco Montagna; G. Michele Pinna; Elisa B. P. Tiezzi (J. Log. Comput., 2003)

Domain and event structure semantics for Petri nets with read and inhibitor arcs. - Paolo Baldan; Nadia Busi; Andrea Corradini 001; G. Michele Pinna (Theor. Comput. Sci., 2004)

Event Structures for the Collective Tokens Philosophy of Inhibitor Nets. - G. Michele Pinna (MFCS, 2005)

Characterizing Workflow Nets Using Regions. - Nadia Busi; G. Michele Pinna (SYNASC, 2006)

Event Structures with Disabling/Enabling Relation and Event Automata. - G. Michele Pinna (Fundam. Informaticae, 2006)

An Event Based Semantics of P Systems. - G. Michele Pinna; Andrea Saba (Sci. Ann. Comput. Sci., 2008)

A complete fuzzy logical system to deal with trust management systems. - Tommaso Flaminio; G. Michele Pinna; Elisa B. P. Tiezzi (Fuzzy Sets Syst., 2008)

Foreword. - Mario Coppo; Elena Lodi; G. Michele Pinna (Theory Comput. Syst., 2008)

Dependencies and Simultaneity in Membrane Systems - G. Michele Pinna; Andrea Saba (MeCBIC, 2009)

Process discovery and Petri nets. - Nadia Busi; G. Michele Pinna (Math. Struct. Comput. Sci., 2009)

Simultaneity in Event Structures. - G. Michele Pinna; Andrea Saba (TAMC, 2010)

How Much Is Worth to Remember? A Taxonomy Based on Petri Nets Unfoldings. - G. Michele Pinna (Petri Nets, 2011)

Catalytic Petri Nets Are Turing Complete. - Gabriel Ciobanu; G. Michele Pinna (LATA, 2012)

Timed Catalytic Petri Nets. - Bogdan Aman; Gabriel Ciobanu; G. Michele Pinna (SYNASC, 2012)

An event-based model for contracts - Massimo Bartoletti; Tiziana Cimoli; G. Michele Pinna; Roberto Zunino (PLACES, 2012)

Modeling dependencies and simultaneity in membrane system computations. - G. Michele Pinna; Andrea Saba (Theor. Comput. Sci., 2012)

Lending Petri Nets and Contracts. - Massimo Bartoletti; Tiziana Cimoli; G. Michele Pinna (FSEN, 2013)

Flow Unfolding of Multi-clock Nets. - Giovanni Casu; G. Michele Pinna (Petri Nets, 2014)

A note on two notions of compliance. - Massimo Bartoletti; Tiziana Cimoli; G. Michele Pinna (ICE, 2014)

Circular Causality in Event Structures. - Massimo Bartoletti; Tiziana Cimoli; G. Michele Pinna; Roberto Zunino (Fundam. Informaticae, 2014)

Catalytic and communicating Petri nets are Turing complete. - Gabriel Ciobanu; G. Michele Pinna (Inf. Comput., 2014)

Power of Causal Dependencies in Rule-Based Systems. - Gabriel Ciobanu; G. Michele Pinna; Dragos Sburlan (J. Autom. Lang. Comb., 2014)

Models of Circular Causality. - Massimo Bartoletti; Tiziana Cimoli; G. Michele Pinna; Roberto Zunino (ICDCIT, 2015)

Lending Petri nets. - Massimo Bartoletti; Tiziana Cimoli; G. Michele Pinna (Sci. Comput. Program., 2015)

An Unifying Framework for Compacting Petri Nets Behaviors. - Giovanni Casu; G. Michele Pinna (ICTCS, 2016)

Contracts as games on event structures. - Massimo Bartoletti; Tiziana Cimoli; G. Michele Pinna; Roberto Zunino (J. Log. Algebraic Methods Program., 2016)

Merging Relations: A Way to Compact Petri Nets' Behaviors Uniformly. - Giovanni Casu; G. Michele Pinna (LATA, 2017)

Reversing Steps in Membrane Systems Computations. - G. Michele Pinna (Int. Conf. on Membrane Computing, 2017)

Petri nets and dynamic causality for service-oriented computations. - Giovanni Casu; G. Michele Pinna (SAC, 2017)

Toward a Uniform Approach to the Unfolding of Nets. - Eric Fabre; G. Michele Pinna (ICE, 2018)

Reversible Causal Nets and Reversible Event Structures. - Hernán C. Melgratti; Claudio Antares Mezzina; Iain C. C. Phillips; G. Michele Pinna; Irek Ulidowski (CoRR, 2019)

Operational Representation of Dependencies in Context-Dependent Event Structures. - G. Michele Pinna (COORDINATION, 2020)

Reversible Occurrence Nets and Causal Reversible Prime Event Structures. - Hernán C. Melgratti; Claudio Antares Mezzina; Iain Phillips 001; G. Michele Pinna; Irek Ulidowski (RC, 2020)

Spreading nets: A uniform approach to unfoldings. - G. Michele Pinna; Eric Fabre (J. Log. Algebraic Methods Program., 2020)

Representing Dependencies in Event Structures. - G. Michele Pinna (Log. Methods Comput. Sci., 2020)

Foundations of Reversible Computation. - Bogdan Aman; Gabriel Ciobanu; Robert Glück; Robin Kaarsgaard; Jarkko Kari; Martin Kutrib; Ivan Lanese; Claudio Antares Mezzina; Lukasz Mikulski; Rajagopal Nagarajan; Iain C. C. Phillips; G. Michele Pinna; et al. (Selected Results of the COST Action IC1405, 2020)

A distributed operational view of Reversible Prime Event Structures. - Hernán C. Melgratti; Claudio Antares Mezzina; G. Michele Pinna (LICS, 2021)

Towards a Truly Concurrent Semantics for Reversible CCS. - Hernán C. Melgratti; Claudio Antares Mezzina; G. Michele Pinna (RC, 2021)

Memory associated with membranes systems. - Gabriel Ciobanu; G. Michele Pinna (J. Membr. Comput., 2021)

A new operational representation of dependencies in Event Structures. - G. Michele Pinna (Log. Methods Comput. Sci., 2021)

A Petri net view of covalent bonds. - Hernán C. Melgratti; Claudio Antares Mezzina; G. Michele Pinna (Theor. Comput. Sci., 2022)

Model Checking Reversible Systems: Forwardly. - Federico Dal Pio Luogo; Claudio Antares Mezzina; G. Michele Pinna (RC, 2024)

A Truly Concurrent Semantics for Reversible CCS. - Hernán C. Melgratti; Claudio Antares Mezzina; G. Michele Pinna (Log. Methods Comput. Sci., 2024)

A Reversible Perspective on Petri Nets and Event Structures. - Hernán C. Melgratti; Claudio Antares Mezzina; G. Michele Pinna (ACM Trans. Comput. Log., 2024)

Relating Reversible Petri Nets and Reversible Event Structures, categorically. - Hernán C. Melgratti; Claudio Antares Mezzina; G. Michele Pinna (Log. Methods Comput. Sci., 2025)