| On the nature of events: another perspective in concurrency GM Pinna, A Poigné Theoretical Computer Science 138 (2), 425-454, 1995 | 74 | 1995 |
| Domain and event structure semantics for Petri nets with read and inhibitor arcs P Baldan, N Busi, A Corradini, GM Pinna Theoretical Computer Science 323 (1-3), 129-189, 2004 | 70 | 2004 |
| An iterative algorithm for applying the theory of regions in process mining BF Van Dongen, N Busi, GM Pinna, WMP van der Aalst Proceedings of the workshop on formal approaches to business processes and …, 2007 | 58 | 2007 |
| Process semantics for place/transition nets with inhibitor and read arcs N Busi, GM Pinna Fundamenta Informaticae 40 (2-3), 165-197, 1999 | 43 | 1999 |
| Non sequential semantics for contextual P/T nets N Busi, GM Pinna Application and Theory of Petri Nets 1996: 17th International Conference …, 1996 | 37 | 1996 |
| Synthesis of nets with inhibitor arcs N Busi, GM Pinna CONCUR'97: Concurrency Theory: 8th International Conference Warsaw, Poland …, 1997 | 31 | 1997 |
| On the nature of events GM Pinna, A Poigne Mathematical Foundations of Computer Science 1992: 17th International …, 1992 | 29 | 1992 |
| Functional concurrent semantics for petri nets with read and inhibitor arcs P Baldan, N Busi, A Corradini, G Michele Pinna CONCUR 2000—Concurrency Theory: 11th International Conference University …, 2000 | 28 | 2000 |
| Lending petri nets M Bartoletti, T Cimoli, GM Pinna Science of Computer Programming 112, 75-101, 2015 | 27 | 2015 |
| Contracts as games on event structures M Bartoletti, T Cimoli, GM Pinna, R Zunino Journal of logical and algebraic methods in programming 85 (3), 399-424, 2016 | 25 | 2016 |
| Lending Petri nets and contracts M Bartoletti, T Cimoli, GM Pinna Fundamentals of Software Engineering: 5th International Conference, FSEN …, 2013 | 20 | 2013 |
| Foundations of reversible computation B Aman, G Ciobanu, R Glück, R Kaarsgaard, J Kari, M Kutrib, I Lanese, ... Reversible Computation: Extending Horizons of Computing: Selected Results of …, 2020 | 17 | 2020 |
| A Causal Semantics for Contextual P/T Nets N Busi, GM Pinna Proc. ICTCS 95, 311-325, 1995 | 15 | 1995 |
| Reversible occurrence nets and causal reversible prime event structures H Melgratti, CA Mezzina, I Phillips, GM Pinna, I Ulidowski Reversible Computation: 12th International Conference, RC 2020, Oslo, Norway …, 2020 | 14 | 2020 |
| Petri nets and dynamic causality for service-oriented computations G Casu, GM Pinna Proceedings of the Symposium on Applied Computing, 1326-1333, 2017 | 14 | 2017 |
| Circular causality in event structures M Bartoletti, T Cimoli, GM Pinna, R Zunino | 14 | 2012 |
| Process discovery and petri nets N Busi, GM Pinna Mathematical Structures in Computer Science 19 (6), 1091-1124, 2009 | 14 | 2009 |
| Reversing steps in membrane systems computations G Michele Pinna Membrane Computing: 18th International Conference, CMC 2017, Bradford, UK …, 2018 | 13 | 2018 |
| Flow unfolding of multi-clock nets G Casu, GM Pinna Application and Theory of Petri Nets and Concurrency: 35th International …, 2014 | 11 | 2014 |
| An event-based model for contracts M Bartoletti, T Cimoli, GM Pinna, R Zunino arXiv preprint arXiv:1302.6330, 2013 | 11 | 2013 |
