Hernán Melgratti ; Claudio Antares Mezzina ; G. Michele Pinna - Relating Reversible Petri Nets and Reversible Event Structures, categorically

lmcs:12935 - Logical Methods in Computer Science, June 5, 2025, Volume 21, Issue 2 - https://doi.org/10.46298/lmcs-21(2:20)2025
Relating Reversible Petri Nets and Reversible Event Structures, categoricallyArticle

Authors: 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

Consultation statistics

This page has been seen 1299 times.
This article's PDF has been downloaded 513 times.