G. Michele Pinna
G. Michele Pinna
Università di Cagliari, Dipartimento di Matematica e Informatica
Verified email at unica.it
Title
Cited by
Cited by
Year
On the nature of events: another perspective in concurrency
GM Pinna, A Poigné
Theoretical Computer Science 138 (2), 425-454, 1995
721995
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
622004
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
492007
Process semantics for place/transition nets with inhibitor and read arcs
N Busi, GM Pinna
Fundamenta Informaticae 40 (2, 3), 165-197, 1999
381999
Non sequential semantics for contextual P/T nets
N Busi, GM Pinna
International Conference on Application and Theory of Petri Nets, 113-132, 1996
371996
Synthesis of nets with inhibitor arcs
N Busi, GM Pinna
International Conference on Concurrency Theory, 151-165, 1997
301997
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
282000
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
252016
On the nature of events
GM Pinna, A Poigne
International Symposium on Mathematical Foundations of Computer Science, 430-441, 1992
251992
Lending petri nets
M Bartoletti, T Cimoli, GM Pinna
Science of Computer Programming 112, 75-101, 2015
192015
Lending Petri nets and contracts
M Bartoletti, T Cimoli, GM Pinna
International Conference on Fundamentals of Software Engineering, 66-82, 2013
192013
A Causal Semantics for Contextual P/T Nets
N Busi, GM Pinna
Proc. ICTCS 95, 311-325, 1995
141995
Circular causality in event structures
M Bartoletti, T Cimoli, GM Pinna, R Zunino
132012
Process discovery and petri nets
N Busi, GM Pinna
Mathematical Structures in Computer Science 19 (6), 1091, 2009
132009
Petri nets and dynamic causality for service-oriented computations
G Casu, GM Pinna
Proceedings of the Symposium on Applied Computing, 1326-1333, 2017
112017
Models of circular causality
M Bartoletti, T Cimoli, GM Pinna, R Zunino
International Conference on Distributed Computing and Internet Technology, 1-20, 2015
112015
Petri nets and their composition problems
GM Pinna
Università di Pisa, Dipartimento di Informatica, 1990
111990
An Event Based Semantics of P Systems.
GM Pinna, A Saba
Scientific Annals of Computer Science 18, 2008
102008
Reversing steps in membrane systems computations
GM Pinna
International Conference on Membrane Computing, 245-261, 2017
92017
An event-based model for contracts
M Bartoletti, T Cimoli, GM Pinna, R Zunino
arXiv preprint arXiv:1302.6330, 2013
92013
The system can't perform the operation now. Try again later.
Articles 1–20