| On the nature of events: another perspective in concurrency GM Pinna, A Poigné Theoretical Computer Science 138 (2), 425-454, 1995 | 72 | 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 | 62 | 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 | 49 | 2007 |
| Process semantics for place/transition nets with inhibitor and read arcs N Busi, GM Pinna Fundamenta Informaticae 40 (2, 3), 165-197, 1999 | 38 | 1999 |
| Non sequential semantics for contextual P/T nets N Busi, GM Pinna International Conference on Application and Theory of Petri Nets, 113-132, 1996 | 37 | 1996 |
| Synthesis of nets with inhibitor arcs N Busi, GM Pinna International Conference on Concurrency Theory, 151-165, 1997 | 30 | 1997 |
| Functional concurrent semantics for petri nets with read and inhibitor arcs P Baldan, N Busi, A Corradini, GM Pinna International Conference on Concurrency Theory, 442-457, 2000 | 28 | 2000 |
| 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 |
| On the nature of events GM Pinna, A Poigne International Symposium on Mathematical Foundations of Computer Science, 430-441, 1992 | 25 | 1992 |
| Lending petri nets M Bartoletti, T Cimoli, GM Pinna Science of Computer Programming 112, 75-101, 2015 | 19 | 2015 |
| Lending Petri nets and contracts M Bartoletti, T Cimoli, GM Pinna International Conference on Fundamentals of Software Engineering, 66-82, 2013 | 19 | 2013 |
| A Causal Semantics for Contextual P/T Nets N Busi, GM Pinna Proc. ICTCS 95, 311-325, 1995 | 14 | 1995 |
| Circular causality in event structures M Bartoletti, T Cimoli, GM Pinna, R Zunino | 13 | 2012 |
| Process discovery and petri nets N Busi, GM Pinna Mathematical Structures in Computer Science 19 (6), 1091, 2009 | 13 | 2009 |
| Petri nets and dynamic causality for service-oriented computations G Casu, GM Pinna Proceedings of the Symposium on Applied Computing, 1326-1333, 2017 | 11 | 2017 |
| Models of circular causality M Bartoletti, T Cimoli, GM Pinna, R Zunino International Conference on Distributed Computing and Internet Technology, 1-20, 2015 | 11 | 2015 |
| Petri nets and their composition problems GM Pinna Università di Pisa, Dipartimento di Informatica, 1990 | 11 | 1990 |
| An Event Based Semantics of P Systems. GM Pinna, A Saba Scientific Annals of Computer Science 18, 2008 | 10 | 2008 |
| Reversing steps in membrane systems computations GM Pinna International Conference on Membrane Computing, 245-261, 2017 | 9 | 2017 |
| An event-based model for contracts M Bartoletti, T Cimoli, GM Pinna, R Zunino arXiv preprint arXiv:1302.6330, 2013 | 9 | 2013 |
