Relating Reversible Petri Nets and Reversible Event Structures,
categoricallyArticle
Authors: Hernán Melgratti ; Claudio Antares Mezzina ; G. Michele Pinna
NULL##NULL##NULL
Hernán Melgratti;Claudio Antares Mezzina;G. Michele Pinna
Causal nets (CNs) are Petri nets where causal dependencies are modelled via inhibitor arcs. They play the role of occurrence nets when representing the behaviour of a concurrent and distributed system, even when reversibility is considered. In this paper we extend CNs to account also for asymmetric conflicts and study (i) how this kind of nets, and their reversible versions, can be turned into a category; and (ii) their relation with the categories of reversible asymmetric event structures.
Volume: Volume 21, Issue 2
Secondary volumes: Selected Papers of the 43rd International Conference on Formal Techniques for Distributed Objects, Components and Systems and the 25th International Conference on Coordination Models and Languages (FORTE and COORDINATION 2023)
Published on: June 5, 2025
Accepted on: March 26, 2025
Submitted on: January 25, 2024
Keywords: Computer Science - Logic in Computer Science, Computer Science - Formal Languages and Automata Theory