Volgen
G. Michele Pinna
G. Michele Pinna
Università di Cagliari, Dipartimento di Matematica e Informatica
Geverifieerd e-mailadres voor unica.it
Titel
Geciteerd door
Geciteerd door
Jaar
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
752004
On the nature of events: another perspective in concurrency
GM Pinna, A Poigné
Theoretical Computer Science 138 (2), 425-454, 1995
751995
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
592007
Process semantics for place/transition nets with inhibitor and read arcs
N Busi, GM Pinna
Fundamenta Informaticae 40 (2-3), 165-197, 1999
431999
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
341997
On the nature of events
GM Pinna, A Poigne
Mathematical Foundations of Computer Science 1992: 17th International …, 1992
321992
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
312000
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
272020
Lending petri nets
M Bartoletti, T Cimoli, GM Pinna
Science of Computer Programming 112, 75-101, 2015
262015
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
Fundamentals of Software Engineering: 5th International Conference, FSEN …, 2013
192013
Reversing steps in membrane systems computations
G Michele Pinna
Membrane Computing: 18th International Conference, CMC 2017, Bradford, UK …, 2018
172018
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
162020
A Causal Semantics for Contextual P/T Nets
N Busi, GM Pinna
Proc. ICTCS 95, 311-325, 1995
161995
Petri nets and dynamic causality for service-oriented computations
G Casu, GM Pinna
Proceedings of the Symposium on Applied Computing, 1326-1333, 2017
152017
Process discovery and Petri nets
N Busi, GM Pinna
Mathematical Structures in Computer Science 19 (6), 1091-1124, 2009
152009
Circular causality in event structures
M Bartoletti, T Cimoli, GM Pinna, R Zunino
142012
Models of circular causality
M Bartoletti, T Cimoli, GM Pinna, R Zunino
International Conference on Distributed Computing and Internet Technology, 1-20, 2015
122015
Flow unfolding of multi-clock nets
G Casu, GM Pinna
Application and Theory of Petri Nets and Concurrency: 35th International …, 2014
122014
Het systeem kan de bewerking nu niet uitvoeren. Probeer het later opnieuw.
Artikelen 1–20