| 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 | 78 | 2004 |
| On the nature of events: another perspective in concurrency GM Pinna, A Poigné Theoretical Computer Science 138 (2), 425-454, 1995 | 77 | 1995 |
| An iterative algorithm for applying the theory of regions in process mining BF Van Dongen, N Busi, GM Pinna, WMP van der Aalst Technische Universiteit Eindhoven, 2007 | 69 | 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 |
| Synthesis of nets with inhibitor arcs N Busi, GM Pinna International Conference on Concurrency Theory, 151-165, 1997 | 40 | 1997 |
| 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 | 39 | 2020 |
| Non sequential semantics for contextual P/T nets N Busi, GM Pinna International Conference on Application and Theory of Petri Nets, 113-132, 1996 | 39 | 1996 |
| Functional concurrent semantics for petri nets with read and inhibitor arcs P Baldan, N Busi, A Corradini, G Michele Pinna International Conference on Concurrency Theory, 442-457, 2000 | 33 | 2000 |
| Reversing steps in membrane systems computations G Michele Pinna International Conference on Membrane Computing, 245-261, 2017 | 30 | 2017 |
| On the nature of events GM Pinna, A Poigne International Symposium on Mathematical Foundations of Computer Science, 430-441, 1992 | 29 | 1992 |
| Lending petri nets M Bartoletti, T Cimoli, GM Pinna Science of Computer Programming 112, 75-101, 2015 | 26 | 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 | 24 | 2016 |
| Lending Petri nets and contracts M Bartoletti, T Cimoli, GM Pinna International Conference on Fundamentals of Software Engineering, 66-82, 2013 | 19 | 2013 |
| Reversible occurrence nets and causal reversible prime event structures H Melgratti, CA Mezzina, I Phillips, GM Pinna, I Ulidowski International Conference on Reversible Computation, 35-53, 2020 | 18 | 2020 |
| Petri nets and dynamic causality for service-oriented computations G Casu, GM Pinna Proceedings of the Symposium on Applied Computing, 1326-1333, 2017 | 16 | 2017 |
| A distributed operational view of reversible prime event structures H Melgratti, CA Mezzina, GM Pinna 2021 36th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS), 1-13, 2021 | 15 | 2021 |
| Circular causality in event structures M Bartoletti, T Cimoli, GM Pinna, R Zunino | 15 | 2012 |
| Process discovery and Petri nets N Busi, GM Pinna Mathematical Structures in Computer Science 19 (6), 1091-1124, 2009 | 15 | 2009 |
| Verifying a time-triggered protocol in a multi-language environment A Merceron, M Müllerburg, GM Pinna International Conference on Computer Safety, Reliability, and Security, 185-195, 1998 | 15 | 1998 |
| A Causal Semantics for Contextual P/T Nets N Busi, GM Pinna Proc. ICTCS 95, 311-325, 1995 | 15 | 1995 |
