Reversible Causal Nets and Reversible Event Structures

10/24/2019
by   Hernán Melgratti, et al.
0

One of the well-known results in concurrency theory concerns the relationship between event structures and occurrence nets: an occurrence net can be associated with a prime event structure, and vice versa. More generally, the relationships between various forms of event structures and suitable forms of nets have been long established. Good examples are the close relationship between inhibitor event structures and inhibitor occurrence nets, or between asymmetric event structures and asymmetric occurrence nets. Several forms of event structures suited for the modelling of reversible computation have recently been developed; also a method for reversing occurrence nets has been proposed. This paper bridges the gap between reversible event structures and reversible nets. We introduce the notion of reversible causal net, which is a generalisation of the notion of reversible unfolding. We show that reversible causal nets correspond precisely to a subclass of reversible prime event structures, the causal reversible prime event structures.

READ FULL TEXT

page 1

page 2

page 3

page 4

research
02/27/2023

Relating Reversible Petri Nets and Reversible Event Structures, categorically

Petri nets, where causal dependencies are modelled via inhibitor arcs, c...
research
10/09/2019

Reversing Place Transition Nets

Petri nets are a well-known model of concurrency and provide an ideal se...
research
07/25/2023

An Axiomatic Theory for Reversible Computation

Undoing computations of a concurrent system is beneficial in many situat...
research
07/16/2019

Minimisation of Event Structures

Event structures are fundamental models in concurrency theory, providing...
research
03/03/2018

Polyhedral Characterization of Reversible Hinged Dissections

We prove that two polygons A and B have a reversible hinged dissection (...
research
03/12/2020

Causal Unfoldings and Disjunctive Causes

In the simplest form of event structure, a prime event structure, an eve...
research
02/11/2018

Event Structures for Petri nets with Persistence

Event structures are a widely accepted model of concurrency. In a semina...

Please sign up or login with your details

Forgot password? Click here to reset