G. Michele Pinna

72 papers A* 1B 9C 10Misc 4Journal 34Unranked 11
YearRankTypeTitle / Venue / Authors
2026 — conf
Encoding Reversible Petri Nets into CCSK.
Components Operationally: Reversibility and System Engineering: Essays Dedicated to Jean-Bernard Stefani on the Occasion of His 65th Birthday
Hernán C. Melgratti, Claudio Antares Mezzina, G. Michele Pinna
2026 B conf
On Reversibility in Petri Nets.
FoSSaCS
Hernán C. Melgratti, Claudio Antares Mezzina, G. Michele Pinna
2025 J jnl
Relating Reversible Petri Nets and Reversible Event Structures, categorically.
Log. Methods Comput. Sci.
Hernán C. Melgratti, Claudio Antares Mezzina, G. Michele Pinna
2024 J jnl
A Reversible Perspective on Petri Nets and Event Structures.
ACM Trans. Comput. Log.
Hernán C. Melgratti, Claudio Antares Mezzina, G. Michele Pinna
2024 J jnl
A Truly Concurrent Semantics for Reversible CCS.
Log. Methods Comput. Sci.
Hernán C. Melgratti, Claudio Antares Mezzina, G. Michele Pinna
2024 C conf
Model Checking Reversible Systems: Forwardly.
RC
Federico Dal Pio Luogo, Claudio Antares Mezzina, G. Michele Pinna
2023 J jnl
A Reversible Perspective on Petri Nets and Event Structures.
CoRR
Hernán C. Melgratti, Claudio Antares Mezzina, G. Michele Pinna
2023 J jnl
A Truly Concurrent Semantics for Reversible CCS.
CoRR
Hernán C. Melgratti, Claudio Antares Mezzina, G. Michele Pinna
2023 C conf
Relating Reversible Petri Nets and Reversible Event Structures, Categorically.
FORTE
Hernán C. Melgratti, Claudio Antares Mezzina, G. Michele Pinna
2023 J jnl
Relating Reversible Petri Nets and Reversible Event Structures, categorically.
CoRR
Hernán C. Melgratti, Claudio Antares Mezzina, G. Michele Pinna
2022 J jnl
A Petri net view of covalent bonds.
Theor. Comput. Sci.
Hernán C. Melgratti, Claudio Antares Mezzina, G. Michele Pinna
2021 A* conf
A distributed operational view of Reversible Prime Event Structures.
LICS
Hernán C. Melgratti, Claudio Antares Mezzina, G. Michele Pinna
2021 J jnl
A new operational representation of dependencies in Event Structures.
Log. Methods Comput. Sci.
G. Michele Pinna
2021 J jnl
Memory associated with membranes systems.
J. Membr. Comput.
Gabriel Ciobanu, G. Michele Pinna
2021 C conf
Towards a Truly Concurrent Semantics for Reversible CCS.
RC
Hernán C. Melgratti, Claudio Antares Mezzina, G. Michele Pinna
2020 J jnl
A new operational representation of dependencies in Event Structures.
CoRR
G. Michele Pinna
2020 — ch.
Foundations of Reversible Computation.
Selected Results of the COST Action IC1405
Bogdan Aman, Gabriel Ciobanu, Robert Glück, Robin Kaarsgaard, Jarkko Kari, Martin Kutrib, Ivan Lanese, Claudio Antares Mezzina, Lukasz Mikulski, Rajagopal Nagarajan, Iain Phillips, G. Michele Pinna, Luca Prigioniero, Irek Ulidowski, Germán Vidal
2020 C conf
Operational Representation of Dependencies in Context-Dependent Event Structures.
COORDINATION
G. Michele Pinna
2020 J jnl
Representing Dependencies in Event Structures.
Log. Methods Comput. Sci.
G. Michele Pinna
2020 C conf
Reversible Occurrence Nets and Causal Reversible Prime Event Structures.
RC
Hernán C. Melgratti, Claudio Antares Mezzina, Iain Phillips, G. Michele Pinna, Irek Ulidowski
2019 C conf
Representing Dependencies in Event Structures.
COORDINATION
G. Michele Pinna
2019 J jnl
Representing Dependencies in Event Structures.
CoRR
G. Michele Pinna
2019 J jnl
Reversible Causal Nets and Reversible Event Structures.
CoRR
Hernán C. Melgratti, Claudio Antares Mezzina, Iain Phillips, G. Michele Pinna, Irek Ulidowski
2018 — conf
Toward a Uniform Approach to the Unfolding of Nets.
ICE
Eric Fabre, G. Michele Pinna
2017 C conf
Merging Relations: A Way to Compact Petri Nets' Behaviors Uniformly.
LATA
Giovanni Casu, G. Michele Pinna
2017 Misc conf
Petri nets and dynamic causality for service-oriented computations.
SAC
Giovanni Casu, G. Michele Pinna
2017 — conf
Reversing Steps in Membrane Systems Computations.
Int. Conf. on Membrane Computing
G. Michele Pinna
2016 — conf
An Unifying Framework for Compacting Petri Nets Behaviors.
ICTCS
Giovanni Casu, G. Michele Pinna
2016 J jnl
Contracts as games on event structures.
J. Log. Algebraic Methods Program.
Massimo Bartoletti, Tiziana Cimoli, G. Michele Pinna, Roberto Zunino
2015 J jnl
Lending Petri nets.
Sci. Comput. Program.
Massimo Bartoletti, Tiziana Cimoli, G. Michele Pinna
2015 Misc conf
Models of Circular Causality.
ICDCIT
Massimo Bartoletti, Tiziana Cimoli, G. Michele Pinna, Roberto Zunino
2014 — conf
A note on two notions of compliance.
ICE
Massimo Bartoletti, Tiziana Cimoli, G. Michele Pinna
2014 J jnl
Catalytic and communicating Petri nets are Turing complete.
Inf. Comput.
Gabriel Ciobanu, G. Michele Pinna
2014 J jnl
Circular Causality in Event Structures.
Fundam. Informaticae
Massimo Bartoletti, Tiziana Cimoli, G. Michele Pinna, Roberto Zunino
2014 B conf
Flow Unfolding of Multi-clock Nets.
Petri Nets
Giovanni Casu, G. Michele Pinna
2014 J jnl
Power of Causal Dependencies in Rule-Based Systems.
J. Autom. Lang. Comb.
Gabriel Ciobanu, G. Michele Pinna, Dragos Sburlan
2013 — conf
Lending Petri Nets and Contracts.
FSEN
Massimo Bartoletti, Tiziana Cimoli, G. Michele Pinna
2012 — conf
An event-based model for contracts
PLACES
Massimo Bartoletti, Tiziana Cimoli, G. Michele Pinna, Roberto Zunino
2012 C conf
Catalytic Petri Nets Are Turing Complete.
LATA
Gabriel Ciobanu, G. Michele Pinna
2012 J jnl
Lending Petri nets and contracts
CoRR
Massimo Bartoletti, Tiziana Cimoli, G. Michele Pinna
2012 J jnl
Modeling dependencies and simultaneity in membrane system computations.
Theor. Comput. Sci.
G. Michele Pinna, Andrea Saba
2012 Misc conf
Timed Catalytic Petri Nets.
SYNASC
Bogdan Aman, Gabriel Ciobanu, G. Michele Pinna
2011 B conf
How Much Is Worth to Remember? A Taxonomy Based on Petri Nets Unfoldings.
Petri Nets
G. Michele Pinna
2010 C conf
Simultaneity in Event Structures.
TAMC
G. Michele Pinna, Andrea Saba
2009 — conf
Dependencies and Simultaneity in Membrane Systems
MeCBIC
G. Michele Pinna, Andrea Saba
2009 J jnl
Process discovery and Petri nets.
Math. Struct. Comput. Sci.
Nadia Busi, G. Michele Pinna
2008 J jnl
A complete fuzzy logical system to deal with trust management systems.
Fuzzy Sets Syst.
Tommaso Flaminio, G. Michele Pinna, Elisa B. P. Tiezzi
2008 J jnl
An Event Based Semantics of P Systems.
Sci. Ann. Comput. Sci.
G. Michele Pinna, Andrea Saba
2008 J jnl
Foreword.
Theory Comput. Syst.
Mario Coppo, Elena Lodi, G. Michele Pinna
2006 Misc conf
Characterizing Workflow Nets Using Regions.
SYNASC
Nadia Busi, G. Michele Pinna
2006 J jnl
Event Structures with Disabling/Enabling Relation and Event Automata.
Fundam. Informaticae
G. Michele Pinna
2005 B conf
Event Structures for the Collective Tokens Philosophy of Inhibitor Nets.
MFCS
G. Michele Pinna
2005 — ed.
Theoretical Computer Science, 9th Italian Conference, ICTCS 2005, Siena, Italy, October 12-14, 2005, Proceedings
ICTCS
Mario Coppo, Elena Lodi, G. Michele Pinna
2004 J jnl
Domain and event structure semantics for Petri nets with read and inhibitor arcs.
Theor. Comput. Sci.
Paolo Baldan, Nadia Busi, Andrea Corradini, G. Michele Pinna
2003 J jnl
A Tableau Calculus for Hájek's Logic BL.
J. Log. Comput.
Franco Montagna, G. Michele Pinna, Elisa B. P. Tiezzi
2002 J jnl
Investigations on Fragments of First Order Branching Temporal Logic.
Math. Log. Q.
Franco Montagna, G. Michele Pinna, Elisa B. P. Tiezzi
2001 J jnl
Component-based Verification in a Synchronous Setting.
Int. J. Softw. Eng. Knowl. Eng.
Agathe Merceron, G. Michele Pinna
2001 — conf
Specifying and verifying reactive systems in a multi-language environment.
TOSCA
Agathe Merceron, Monika Müllerburg, G. Michele Pinna
2000 J jnl
A Cut-free Proof System for Bounded Metric Temporal Logic Over a Dense Time Domain.
Math. Log. Q.
Franco Montagna, G. Michele Pinna, Elisa B. P. Tiezzi
2000 J jnl
Comparing Truly Concurrent Semantics for Contextual Place/Transition Nets with Inhibitor and Read Arcs.
Fundam. Informaticae
Nadia Busi, G. Michele Pinna
2000 B conf
Functorial Concurrent Semantics for Petri Nets with Read and Inhibitor Arcs.
CONCUR
Paolo Baldan, Nadia Busi, Andrea Corradini, G. Michele Pinna
2000 — conf
Refinement and Modular Verification with Observers.
APAQS
Agathe Merceron, G. Michele Pinna
1999 C conf
Coordination of Synchronous Programs.
COORDINATION
Reinhard Budde, G. Michele Pinna, Axel Poigné
1999 J jnl
Process Semantics for Place/Transition Nets with Inhibitor and Read Arcs.
Fundam. Informaticae
Nadia Busi, G. Michele Pinna
1998 B conf
Verifying a Time-Triggered Protocol in a Multi-language Environment.
SAFECOMP
Agathe Merceron, Monika Müllerburg, G. Michele Pinna
1997 B conf
Synthesis of Nets with Inhibitor Arcs.
CONCUR
Nadia Busi, G. Michele Pinna
1996 — conf
Non Sequential Semantics for Contextual P/T Nets.
Application and Theory of Petri Nets
Nadia Busi, G. Michele Pinna
1995 — ch.
Event Automata as a Generic Model of Reactive Systems.
KORSO Book
G. Michele Pinna, Axel Poigné
1995 J jnl
On the Nature of Events: Another Perspective in Concurrency.
Theor. Comput. Sci.
G. Michele Pinna, Axel Poigné
1993 B conf
On the Specification of Elementary Reactive Behaviour.
MFPS
G. Michele Pinna, Axel Poigné
1992 B conf
On the Nature of Events.
MFCS
G. Michele Pinna, Axel Poigné
1991 J jnl
A compositional semantics for unmarked predicate/transition nets.
Fundam. Informaticae
Andrea Maggiolo-Schettini, G. Michele Pinna, Józef Winkowski