On the nature of events: another perspective in concurrency GM Pinna, A Poigné Theoretical Computer Science 138 (2), 425-454, 1995 | 80 | 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 | 79 | 2004 |
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 | 61 | 2007 |
Process semantics for place/transition nets with inhibitor and read arcs N Busi, GM Pinna Fundamenta Informaticae 40 (2-3), 165-197, 1999 | 45 | 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 | 39 | 1996 |
Synthesis of nets with inhibitor arcs N Busi, GM Pinna International Conference on Concurrency Theory, 151-165, 1997 | 38 | 1997 |
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 | 32 | 2000 |
On the nature of events GM Pinna, A Poigne Mathematical Foundations of Computer Science 1992: 17th International …, 1992 | 31 | 1992 |
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 | 30 | 2020 |
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 | 24 | 2016 |
Reversing steps in membrane systems computations G Michele Pinna Membrane Computing: 18th International Conference, CMC 2017, Bradford, UK …, 2018 | 21 | 2018 |
Lending Petri nets and contracts M Bartoletti, T Cimoli, GM Pinna Fundamentals of Software Engineering: 5th International Conference, FSEN …, 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 | 16 | 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 Causal Semantics for Contextual P/T Nets N Busi, GM Pinna Proc. ICTCS 95, 311-325, 1995 | 16 | 1995 |
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 |
Circular causality in event structures M Bartoletti, T Cimoli, GM Pinna, R Zunino | 14 | 2012 |
Models of circular causality M Bartoletti, T Cimoli, GM Pinna, R Zunino International Conference on Distributed Computing and Internet Technology, 1-20, 2015 | 12 | 2015 |