Reversible occurrence nets and causal reversible prime event structures
File(s)paper_6_camera_ready.pdf (382.34 KB)
Accepted version
Author(s)
Melgratti, Hernan
Mezzina, Claudio Antares
Phillips, Iain
Pinna, G Michele
Ulidowski, Irek
Type
Conference Paper
Abstract
One of the well-known results in concurrency theory con-cerns the relationship between event structures and occurrence nets: anoccurrence net can be associated with a prime event structure, and viceversa. More generally, the relationships between various forms of eventstructures and suitable forms of nets have been long established. Goodexamples are the close relationship between inhibitor event structuresand inhibitor occurrence nets, or between asymmetric event structuresand asymmetric occurrence nets. Several forms of event structures suitedfor the modelling of reversible computation have recently been developed;also a method for reversing occurrence nets has been proposed. This pa-per bridges the gap between reversible event structures and reversiblenets. We introduce the notion of reversible occurrence net, which is ageneralisation of the notion of reversible unfolding. We show that re-versible occurrence nets correspond precisely to a subclass of reversibleprime event structures, the causal reversible prime event structures.
Date Issued
2020-07-09
Date Acceptance
2020-03-20
Citation
Lecture Notes in Computer Science, 2020, pp.35-53
ISSN
0302-9743
Publisher
Springer Verlag
Start Page
35
End Page
53
Journal / Book Title
Lecture Notes in Computer Science
Copyright Statement
© Springer Nature Switzerland AG 2020. The final publication is available at Springer via http://doi.org/10.1007/978-3-030-52482-1_2
Identifier
https://link.springer.com/chapter/10.1007/978-3-030-52482-1_2
Source
Twelfth International Conference on Reversible Computation
Subjects
Artificial Intelligence & Image Processing
Publication Status
Published
Start Date
2020-07-09
Finish Date
2020-07-10
Coverage Spatial
Oslo, Norway
Date Publish Online
2021-07-09