Acyclic and Cyclic Reversing Computations in Petri Nets

08/04/2021
by   Kamila Barylska, et al.
0

Reversible computations constitute an unconventional form of computing where any sequence of performed operations can be undone by executing in reverse order at any point during a computation. It has been attracting increasing attention as it provides opportunities for low-power computation, being at the same time essential or eligible in various applications. In recent work, we have proposed a structural way of translating Reversing Petri Nets (RPNs) - a type of Petri nets that embeds reversible computation, to bounded Coloured Petri Nets (CPNs) - an extension of traditional Petri Nets, where tokens carry data values. Three reversing semantics are possible in RPNs: backtracking (reversing of the lately executed action), causal reversing (action can be reversed only when all its effects have been undone) and out of causal reversing (any previously performed action can be reversed). In this paper, we extend the RPN to CPN translation with formal proofs of correctness. Moreover, the possibility of introduction of cycles to RPNs is discussed. We analyze which type of cycles could be allowed in RPNs to ensure consistency with the current semantics. It emerged that the most interesting case related to cycles in RPNs occurs in causal semantics, where various interpretations of dependency result in different net's behaviour during reversing. Three definitions of dependence are presented and discussed.

READ FULL TEXT

page 1

page 2

page 3

page 4

research
04/10/2018

Reversible Computation in Petri Nets

Reversible computation is an unconventional form of computing where any ...
research
10/20/2021

Investigating Reversibility of Steps in Petri Nets

In reversible computations one is interested in the development of mecha...
research
10/07/2020

Reversible Computation in Cyclic Petri Nets

Petri nets are a mathematical language for modeling and reasoning about ...
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
05/22/2018

Reversible effects as inverse arrows

Reversible computing models settings in which all processes can be rever...
research
03/03/2018

Polyhedral Characterization of Reversible Hinged Dissections

We prove that two polygons A and B have a reversible hinged dissection (...

Please sign up or login with your details

Forgot password? Click here to reset