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
POST COMMENT

Comments

There are no comments yet.

Authors

page 1

page 2

page 3

page 4

10/09/2019

Reversing Place Transition Nets

Petri nets are a well-known model of concurrency and provide an ideal se...
03/03/2018

Polyhedral Characterization of Reversible Hinged Dissections

We prove that two polygons A and B have a reversible hinged dissection (...
07/16/2019

Minimisation of Event Structures

Event structures are fundamental models in concurrency theory, providing...
03/12/2020

Causal Unfoldings and Disjunctive Causes

In the simplest form of event structure, a prime event structure, an eve...
11/30/2020

A new operational representation of dependencies in Event Structures

The execution of an event in a complex and distributed system where the ...
10/07/2020

Reversible Computation in Cyclic Petri Nets

Petri nets are a mathematical language for modeling and reasoning about ...
02/11/2018

Event Structures for Petri nets with Persistence

Event structures are a widely accepted model of concurrency. In a semina...
This week in AI

Get the week's most popular data science and artificial intelligence research sent straight to your inbox every Saturday.