Description
Title: PETRI NETS’ CAUSAL REVERSIBILITY IN INDIVIDUAL TOKEN INTERPRETATION
Abstract: The concept of causal reversibility in concurrent systems states that an event that is the cause of another event can only be reversed after its consequences have been reversed. Events that are unrelated to one another can be reversed in any order, in contrast to backtracking; this is known as flexible reversibility with regard to a causal relationship. Rob Van Glabbeek et al. proposed an implementation of the individual token interpretation of Petri Nets (IPNs); the current paper looks into a study of causal reversibility within IPNs. Given N as an IPN, the coherence of N is guaranteed by adding an intuitive firing rule to undo transitions in accordance with the causality relationship; thus, the set of all reachable states of N in the reversible version and that of the original one are the same. Additionally, N’s reversibility is flexible, allowing access to their initial state in reverse from any state. This paper proposes a method for controlling causal-reversibility in IPNs.
Keywords: reversibility, concurrent systems, Petri Nets, causality
Paper Quality: SCOPUS / Web of Science Level Research Paper
Paper type: Analysis Based Research Paper
Subject: Computer Science
Writer Experience: 20+ Years
Plagiarism Report: Turnitin Plagiarism Report will be less than 10%
Restriction: Only one author may purchase a single paper. The paper will then indicate that it is out of stock.
What will I get after the purchase?
A turnitin plagiarism report of less than 10% in a pdf file and a full research paper in a word document.
In case you have any questions related to this research paper, please feel free to call/ WhatsApp on +919726999915
Reviews
There are no reviews yet.