Reversible Computation in Cyclic Petri Nets

10/07/2020
by   Anna Philippou, et al.
0

Petri nets are a mathematical language for modeling and reasoning about distributed systems. In this paper we propose an approach to Petri nets for embedding reversibility, i.e., the ability of reversing an executed sequence of operations at any point during operation. Specifically, we introduce machinery and associated semantics to support the three main forms of reversibility namely, backtracking, causal reversing, and out-of-causal-order reversing in a variation of cyclic Petri nets where tokens are persistent and are distinguished from each other by an identity. Our formalism is influenced by applications in biochemistry but the methodology can be applied to a wide range of problems that feature reversibility. In particular, we demonstrate the applicability of our approach with a model of the ERK signalling pathway, an example that inherently features reversible behavior.

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
05/28/2019

Controlling Reversibility in Reversing Petri Nets with Application to Wireless Communications

Petri nets are a formalism for modelling and reasoning about the behavio...
research
08/04/2021

Acyclic and Cyclic Reversing Computations in Petri Nets

Reversible computations constitute an unconventional form of computing w...
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/15/2019

Reversible cyclic codes over F_q + u F_q

Let q be a power of a prime p. In this paper, we study reversible cyclic...
research
03/03/2018

Polyhedral Characterization of Reversible Hinged Dissections

We prove that two polygons A and B have a reversible hinged dissection (...
research
10/20/2021

Investigating Reversibility of Steps in Petri Nets

In reversible computations one is interested in the development of mecha...

Please sign up or login with your details

Forgot password? Click here to reset