G. Michele Pinna
G. Michele Pinna
Universitā di Cagliari, Dipartimento di Matematica e Informatica
Verifierad e-postadress på unica.it
Titel
Citeras av
Citeras av
År
On the nature of events: another perspective in concurrency
GM Pinna, A Poigné
Theoretical Computer Science 138 (2), 425-454, 1995
711995
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
642004
An iterative algorithm for applying the theory of regions in process mining
BF Van Dongen, N Busi, G 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
401999
Non sequential semantics for contextual P/T nets
N Busi, GM Pinna
International Conference on Application and Theory of Petri Nets, 113-132, 1996
391996
Synthesis of nets with inhibitor arcs
N Busi, GM Pinna
International Conference on Concurrency Theory, 151-165, 1997
321997
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 Poigné
International Symposium on Mathematical Foundations of Computer Science, 430-441, 1992
251992
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
242016
Lending Petri nets and contracts
M Bartoletti, T Cimoli, GM Pinna
International Conference on Fundamentals of Software Engineering, 66-82, 2013
202013
Lending petri nets
M Bartoletti, T Cimoli, GM Pinna
Science of Computer Programming 112, 75-101, 2015
182015
A Causal Semantics for Contextual P/T Nets
N Busi, GM Pinna
Proc. ICTCS 95, 311-325, 1995
151995
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
122009
Petri nets and their composition problems
GM PINNA
Universitā di Pisa, Dipartimento di Informatica, 1990
121990
Petri nets and dynamic causality for service-oriented computations
G Casu, GM Pinna
Proceedings of the Symposium on Applied Computing, 1326-1333, 2017
112017
An event-based model for contracts
M Bartoletti, T Cimoli, GM Pinna, R Zunino
arXiv preprint arXiv:1302.6330, 2013
112013
A complete fuzzy logical system to deal with trust management systems
T Flaminio, GM Pinna, EBP Tiezzi
Fuzzy Sets and Systems 159 (10), 1191-1207, 2008
112008
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
Systemet kan inte utföra åtgärden just nu. Försök igen senare.
Artiklar 1–20