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
    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 235 times.
    This article's PDF has been downloaded 127 times.