Causal Reversibility in Individual Token Interpretation of Petri Nets

Abstract

Causal reversibility in concurrent systems means that events that the origin of other events can only be undone after undoing of its consequences. In opposite to backtracking, the events which are independent of each other can be reversed in an arbitrary order, in the other words, we have flexible reversibility w.r.t the causality relation. An implementation of Individual token interpretation ofPetri Nets (IPNs) was been proposed by Rob Van Glabbeek et al, the present paper investigates into a study of causal reversibility within IPNs. Given N be an IPN, by adding an intuitive firing rule to undo transitions according to the causality relation, the coherence of N is assured, i.e., the set of all reachable states of N in the reversible version and that of the original one are identical. Furthermore, reversibility in N is flexible and their initial state can be accessible in reverse from any state. In this paper an approach for controllingcausal-reversibility within IPNs is proposed.

Token Multiplicity in Reversing Petri Nets Under the Individual Token Interpretation

“…On a similar note, [19] introduces the notion of reversible occurrence nets and associates a reversible occurrence net to a causal reversible prime event structure, and vice versa. Finally, [6] introduces a reversible approach to Petri nets following the individual token interpretation. This work is similar to our approach though it refers to a basic PN model, which does not contain named tokens nor bonds, and it does not support backtracking and out-of-causal reversibility.…”