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
731995
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
632004
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
502007
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
292000
On the nature of events
GM Pinna, A Poigne
International Symposium on Mathematical Foundations of Computer Science, 430-441, 1992
261992
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
Lending petri nets
M Bartoletti, T Cimoli, GM Pinna
Science of Computer Programming 112, 75-101, 2015
202015
Lending Petri nets and contracts
M Bartoletti, T Cimoli, GM Pinna
International Conference on Fundamentals of Software Engineering, 66-82, 2013
192013
Circular causality in event structures
M Bartoletti, T Cimoli, GM Pinna, R Zunino
142012
A Causal Semantics for Contextual P/T Nets
N Busi, GM Pinna
Proc. ICTCS 95, 311-325, 1995
141995
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
122017
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
Reversing steps in membrane systems computations
GM Pinna
International Conference on Membrane Computing, 245-261, 2017
102017
An Event Based Semantics of P Systems.
GM Pinna, A Saba
Scientific Annals of Computer Science 18, 2008
102008
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