×

zbMATH — the first resource for mathematics

Pinna, G. Michele

Compute Distance To:
Author ID: pinna.g-michele Recent zbMATH articles by "Pinna, G. Michele"
Published as: Pinna, G. Michele; Michele Pinna, G.; Pinna, G. M.
Documents Indexed: 37 Publications since 1991, including 2 Books

Publications by Year

Citations contained in zbMATH Open

24 Publications have been cited 97 times in 61 Documents Cited by Year
Domain and event structure semantics for Petri nets with read and inhibitor arcs. Zbl 1078.68103
Baldan, P.; Busi, N.; Corradini, A.; Pinna, G. M.
18
2004
On the nature of events: another perspective in concurrency. Zbl 0874.68111
Pinna, G. Michele; Poigné, Axel
15
1995
Process semantics for place/transition nets with inhibitor and read arcs. Zbl 0942.68070
Busi, Nadia; Pinna, G. Michele
9
1999
Reversing steps in membrane systems computations. Zbl 06868806
Michele Pinna, G.
6
2018
Contracts as games on event structures. Zbl 1352.68174
Bartoletti, Massimo; Cimoli, Tiziana; Michele Pinna, G.; Zunino, Roberto
5
2016
Functional concurrent semantics for Petri nets with read and inhibitor arcs. Zbl 0999.68150
Baldan, Paolo; Busi, Nadia; Corradini, Andrea; Pinna, G. Michele
5
2000
Lending Petri nets and contracts. Zbl 1434.68321
Bartoletti, Massimo; Cimoli, Tiziana; Pinna, G. Michele
5
2013
Circular causality in event structures. Zbl 1334.68145
Bartoletti, Massimo; Cimoli, Tiziana; Pinna, G. Michele; Zunino, Roberto
4
2014
Non sequential semantics for contextual P/T nets. Zbl 1418.68136
Busi, Nadia; Pinna, G. Michele
4
1996
Event structures with disabling/enabling relation and event automata. Zbl 1110.68088
Pinna, G. Michele
3
2006
Catalytic Petri nets are Turing complete. Zbl 1350.68200
Ciobanu, Gabriel; Pinna, G. Michele
2
2012
A tableau calculus for Hájek’s logic BL. Zbl 1055.03017
Montagna, Franco; Pinna, G. Michele; Tiezzi, Elisa B. P.
2
2003
How much is worth to remember? A taxonomy based on Petri nets unfoldings. Zbl 1330.68214
Pinna, G. Michele
2
2011
A cut-free proof system for bounded metric temporal logic over a dense time domain. Zbl 0951.03017
Montagna, Franco; Pinna, G. Michele; Tiezzi, Elisa B. P.
2
2000
Comparing truly concurrent semantics for contextual place/transition nets. Zbl 0971.68112
Busi, Nadia; Pinna, G. Michele
2
2000
Modeling dependencies and simultaneity in membrane system computations. Zbl 1242.68107
Pinna, G. Michele; Saba, Andrea
2
2012
Catalytic and communicating Petri nets are Turing complete. Zbl 1309.68137
Ciobanu, Gabriel; Pinna, G. Michele
2
2014
Flow unfolding of multi-clock nets. Zbl 1410.68248
Casu, Giovanni; Pinna, G. Michele
2
2014
Merging relations: a way to compact Petri nets’ behaviors uniformly. Zbl 06725147
Casu, Giovanni; Pinna, G. Michele
2
2017
An event based semantics of P-systems. Zbl 1221.68167
Pinna, G. Michele; Saba, Andrea
1
2008
Simultaneity in event structures. Zbl 1284.68431
Pinna, G. Michele; Saba, Andrea
1
2010
Modular verification of ARGOS programs. Zbl 0964.68080
Merceron, Agathe; Pinna, G. Michele
1
2000
Investigation on fragments of first order branching temporal logic. Zbl 1002.03016
Montagna, Franco; Pinna, G. Michele; Tiezzi, Elisa B. P.
1
2002
An event based semantics of P systems. Zbl 1424.92012
Pinna, G. Michele; Saba, Andrea
1
2008
Reversing steps in membrane systems computations. Zbl 06868806
Michele Pinna, G.
6
2018
Merging relations: a way to compact Petri nets’ behaviors uniformly. Zbl 06725147
Casu, Giovanni; Pinna, G. Michele
2
2017
Contracts as games on event structures. Zbl 1352.68174
Bartoletti, Massimo; Cimoli, Tiziana; Michele Pinna, G.; Zunino, Roberto
5
2016
Circular causality in event structures. Zbl 1334.68145
Bartoletti, Massimo; Cimoli, Tiziana; Pinna, G. Michele; Zunino, Roberto
4
2014
Catalytic and communicating Petri nets are Turing complete. Zbl 1309.68137
Ciobanu, Gabriel; Pinna, G. Michele
2
2014
Flow unfolding of multi-clock nets. Zbl 1410.68248
Casu, Giovanni; Pinna, G. Michele
2
2014
Lending Petri nets and contracts. Zbl 1434.68321
Bartoletti, Massimo; Cimoli, Tiziana; Pinna, G. Michele
5
2013
Catalytic Petri nets are Turing complete. Zbl 1350.68200
Ciobanu, Gabriel; Pinna, G. Michele
2
2012
Modeling dependencies and simultaneity in membrane system computations. Zbl 1242.68107
Pinna, G. Michele; Saba, Andrea
2
2012
How much is worth to remember? A taxonomy based on Petri nets unfoldings. Zbl 1330.68214
Pinna, G. Michele
2
2011
Simultaneity in event structures. Zbl 1284.68431
Pinna, G. Michele; Saba, Andrea
1
2010
An event based semantics of P-systems. Zbl 1221.68167
Pinna, G. Michele; Saba, Andrea
1
2008
An event based semantics of P systems. Zbl 1424.92012
Pinna, G. Michele; Saba, Andrea
1
2008
Event structures with disabling/enabling relation and event automata. Zbl 1110.68088
Pinna, G. Michele
3
2006
Domain and event structure semantics for Petri nets with read and inhibitor arcs. Zbl 1078.68103
Baldan, P.; Busi, N.; Corradini, A.; Pinna, G. M.
18
2004
A tableau calculus for Hájek’s logic BL. Zbl 1055.03017
Montagna, Franco; Pinna, G. Michele; Tiezzi, Elisa B. P.
2
2003
Investigation on fragments of first order branching temporal logic. Zbl 1002.03016
Montagna, Franco; Pinna, G. Michele; Tiezzi, Elisa B. P.
1
2002
Functional concurrent semantics for Petri nets with read and inhibitor arcs. Zbl 0999.68150
Baldan, Paolo; Busi, Nadia; Corradini, Andrea; Pinna, G. Michele
5
2000
A cut-free proof system for bounded metric temporal logic over a dense time domain. Zbl 0951.03017
Montagna, Franco; Pinna, G. Michele; Tiezzi, Elisa B. P.
2
2000
Comparing truly concurrent semantics for contextual place/transition nets. Zbl 0971.68112
Busi, Nadia; Pinna, G. Michele
2
2000
Modular verification of ARGOS programs. Zbl 0964.68080
Merceron, Agathe; Pinna, G. Michele
1
2000
Process semantics for place/transition nets with inhibitor and read arcs. Zbl 0942.68070
Busi, Nadia; Pinna, G. Michele
9
1999
Non sequential semantics for contextual P/T nets. Zbl 1418.68136
Busi, Nadia; Pinna, G. Michele
4
1996
On the nature of events: another perspective in concurrency. Zbl 0874.68111
Pinna, G. Michele; Poigné, Axel
15
1995
all top 5

Cited by 89 Authors

12 Pinna, G. Michele
7 Corradini, Andrea
6 Baldan, Paolo
6 Janicki, Ryszard
5 Ciobanu, Gabriel
5 Koutny, Maciej
4 Bartoletti, Massimo
4 Busi, Nadia
4 Kleijn, Jetty H. C. M.
4 Zunino, Roberto
3 Mikulski, Łukasz
3 Virbitskaite, Irina B.
2 Aman, Bogdan
2 Casu, Giovanni
2 Cimoli, Tiziana
2 König, Barbara
2 Montanari, Ugo G.
2 Murgia, Maurizio
2 van Glabbeek, Robert Jan
2 Vaszil, Gyorgy
2 Vogler, Walter
1 Abbes, Samy
1 Agrigoroaiei, Oana
1 Alqarni, Mohammad
1 Arbach, Youssef
1 Bagossy, Attila
1 Banach, Richard
1 Barbanera, Franco
1 Barbuti, Roberto
1 Battyányi, Péter
1 Bergenthum, Robin
1 Best, Eike
1 Bottoni, Paolo
1 Bushin, D. I.
1 Debois, Søren
1 Degano, Pierpaolo
1 de’Liguoro, Ugo
1 Desel, Jörg
1 Di Giamberardino, Paolo
1 D’silva, Vijay
1 Dubtsov, Roman S.
1 Ehrig, Hartmut
1 Fabre, Eric
1 Flaminio, Tommaso
1 Golińska-Pilarek, Joanna
1 Goltz, Ursula
1 Gori, Roberta
1 Gorrieri, Roberto
1 Gribovskaya, Nataliya Sergeevna
1 Heindel, Tobias
1 Hermann, Frank
1 Hildebrandt, Thomas T.
1 Jard, Claude
1 Juhás, Gabriel
1 Kapus, Tatjana
1 Karcher, David S.
1 Kleijn, H. C. M.
1 Kröning, Daniel
1 Labella, Anna
1 Lime, Didier
1 Lorenz, Robert G.
1 Master, Jade
1 Mauser, Sebastian
1 Melgratti, Hernán
1 Merceron, Agathe
1 Mezzina, Claudio Antares
1 Milazzo, Paolo
1 Müllerburg, Monica
1 Nestmann, Uwe
1 Orłowska, Ewa S.
1 Peters, Kirstin
1 Pietkiewicz-Koutny, Marta
1 Plotkin, Gordon D.
1 Ribeiro, Leila
1 Roux, Olivier H.
1 Saba, Andrea
1 Scalas, Alceste
1 Schellhorn, Gerhard
1 Schwoon, Stefan
1 Slaats, Tijs
1 Sobociński, Paweł
1 Sousa, Marcelo S.
1 Tiezzi, Elisa B. P.
1 Traonouez, Louis-Marie
1 Ulidowski, Irek
1 Ursini, Aldo
1 van Bakel, Steffen
1 Yin, Xiang
1 Zavattaro, Gianluigi

Citations by Year