| 2026 | FOSSACS | On Reversibility in Petri Nets. | Hernn C. Melgratti, Claudio Antares Mezzina, G. Michele Pinna |
| 2024 | RC | Model Checking Reversible Systems: Forwardly. | Federico Dal Pio Luogo, Claudio Antares Mezzina, G. Michele Pinna |
| 2023 | FORTE | Relating Reversible Petri Nets and Reversible Event Structures, Categorically. | Hernn C. Melgratti, Claudio Antares Mezzina, G. Michele Pinna |
| 2021 | LICS | A distributed operational view of Reversible Prime Event Structures. | Hernn C. Melgratti, Claudio Antares Mezzina, G. Michele Pinna |
| 2021 | RC | Towards a Truly Concurrent Semantics for Reversible CCS. | Hernn C. Melgratti, Claudio Antares Mezzina, G. Michele Pinna |
| 2020 | Coordination | Operational Representation of Dependencies in Context-Dependent Event Structures. | G. Michele Pinna |
| 2020 | RC | Reversible Occurrence Nets and Causal Reversible Prime Event Structures. | Hernn C. Melgratti, Claudio Antares Mezzina, Iain Phillips, G. Michele Pinna, Irek Ulidowski |
| 2019 | Coordination | Representing Dependencies in Event Structures. | G. Michele Pinna |
| 2017 | LATA | Merging Relations: A Way to Compact Petri Nets' Behaviors Uniformly. | Giovanni Casu, G. Michele Pinna |
| 2017 | SAC | Petri nets and dynamic causality for service-oriented computations. | Giovanni Casu, G. Michele Pinna |
| 2015 | ICDCIT | Models of Circular Causality. | Massimo Bartoletti, Tiziana Cimoli, G. Michele Pinna, Roberto Zunino |
| 2012 | LATA | Catalytic Petri Nets Are Turing Complete. | Gabriel Ciobanu, G. Michele Pinna |
| 2012 | SYNASC | Timed Catalytic Petri Nets. | Bogdan Aman, Gabriel Ciobanu, G. Michele Pinna |
| 2010 | TAMC | Simultaneity in Event Structures. | G. Michele Pinna, Andrea Saba |
| 2006 | SYNASC | Characterizing Workflow Nets Using Regions. | Nadia Busi, G. Michele Pinna |
| 2005 | MFCS | Event Structures for the Collective Tokens Philosophy of Inhibitor Nets. | G. Michele Pinna |
| 2000 | CONCUR | Functorial Concurrent Semantics for Petri Nets with Read and Inhibitor Arcs. | Paolo Baldan, Nadia Busi, Andrea Corradini, G. Michele Pinna |
| 1999 | Coordination | Coordination of Synchronous Programs. | Reinhard Budde, G. Michele Pinna, Axel Poign |
| 1998 | SAFECOMP | Verifying a Time-Triggered Protocol in a Multi-language Environment. | Agathe Merceron, Monika Mllerburg, G. Michele Pinna |
| 1997 | CONCUR | Synthesis of Nets with Inhibitor Arcs. | Nadia Busi, G. Michele Pinna |
| 1993 | MFPS | On the Specification of Elementary Reactive Behaviour. | G. Michele Pinna, Axel Poign |
| 1992 | MFCS | On the Nature of Events. | G. Michele Pinna, Axel Poign |