Segui
G. Michele Pinna
G. Michele Pinna
Università di Cagliari, Dipartimento di Matematica e Informatica
Email verificata su unica.it
Titolo
Citata da
Citata da
Anno
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
702004
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
532007
Process semantics for place/transition nets with inhibitor and read arcs
N Busi, GM Pinna
Fundamenta Informaticae 40 (2-3), 165-197, 1999
421999
Non sequential semantics for contextual P/T nets
N Busi, GM Pinna
International Conference on Application and Theory of Petri Nets, 113-132, 1996
381996
Synthesis of nets with inhibitor arcs
N Busi, GM Pinna
International Conference on Concurrency Theory, 151-165, 1997
311997
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
292000
Lending petri nets
M Bartoletti, T Cimoli, GM Pinna
Science of Computer Programming 112, 75-101, 2015
272015
On the nature of events
GM Pinna, A Poigne
International Symposium on Mathematical Foundations of Computer Science, 430-441, 1992
271992
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
262016
Lending Petri nets and contracts
M Bartoletti, T Cimoli, GM Pinna
International Conference on Fundamentals of Software Engineering, 66-82, 2013
192013
Petri nets and dynamic causality for service-oriented computations
G Casu, GM Pinna
Proceedings of the Symposium on Applied Computing, 1326-1333, 2017
142017
Circular causality in event structures
M Bartoletti, T Cimoli, GM Pinna, R Zunino
142012
Process discovery and Petri nets
N Busi, GM Pinna
Mathematical Structures in Computer Science 19 (6), 1091-1124, 2009
142009
A Causal Semantics for Contextual P/T Nets
N Busi, GM Pinna
Proc. ICTCS 95, 311-325, 1995
141995
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
132020
Foundations of reversible computation
B Aman, G Ciobanu, R Glück, R Kaarsgaard, J Kari, M Kutrib, I Lanese, ...
International Conference on Reversible Computation, 1-40, 2020
132020
Reversing steps in membrane systems computations
G Michele Pinna
International Conference on Membrane Computing, 245-261, 2017
132017
Flow unfolding of multi-clock nets
G Casu, GM Pinna
International Conference on Applications and Theory of Petri Nets and …, 2014
112014
Models of circular causality
M Bartoletti, T Cimoli, GM Pinna, R Zunino
International Conference on Distributed Computing and Internet Technology, 1-20, 2015
102015
Il sistema al momento non può eseguire l'operazione. Riprova più tardi.
Articoli 1–20