Reversible Occurrence Nets and Causal Reversible Prime Event Structures

Eines der bekannten Ergebnisse der Concurrency-Theorie betrifft die Beziehung zwischen Ereignisstrukturen und Ereignisnetzen: Ein Ereignisnetz kann mit einer erstklassigen Ereignisstruktur in Verbindung gebracht werden und umgekehrt. Allgemeiner betrachtet sind die Beziehungen zwischen verschiedenen Formen von Ereignisstrukturen und geeigneten Formen von Netzen seit langem etabliert. Gute Beispiele sind die enge Beziehung zwischen Inhibitorereignisstrukturen und Inhibitornetzen oder zwischen asymmetrischen Ereignisstrukturen und asymmetrischen Ereignisnetzen. In jüngster Zeit wurden mehrere Formen von Ereignisstrukturen entwickelt, die sich für die Modellierung reversibler Berechnung eignen; auch eine Methode zur Umkehrung von Ereignisnetzen wurde vorgeschlagen. Dieser Aufsatz überbrückt die Lücke zwischen reversiblen Ereignisstrukturen und reversiblen Netzen. Wir führen in die Vorstellung eines reversiblen Ereignisnetzes ein, das eine Verallgemeinerung der Vorstellung reversibler Entfaltung darstellt. Wir zeigen, dass reversible Ereignisnetze genau mit einer Unterklasse reversibler Primärereignisstrukturen korrespondieren, der kausalen reversiblen Primärereignisstrukturen.