Lookup NU author(s): Professor Maciej Koutny,
Dr Lukasz Mikulski
This is the authors' accepted manuscript of a conference proceedings (inc. abstract) that has been published in its final definitive form by Springer, Cham, 2019.
For re-use rights please refer to the publisher's terms and conditions.
In reversible computations one is interested in the development ofmechanisms allowingto undo the effects of executed actions.The past research has been concerned mainly with reversing single actions.In this paper, we consider the problem of reversing the effect ofthe execution of groups of actions (steps).Using Petri nets as a system model,we introduce concepts related to this new scenario, generalisingnotions used in the single action case. We then present a number ofproperties which arise in the context of reversing of steps ofexecuted transitions in place/transition nets. We obtain both positiveand negative results, showing that dealing with steps makesreversibility more involved than in the sequential case.In particular, we demonstrate that there is a crucial differencebetween reversing steps which are sets and those which aretrue multisets.
Author(s): de Frutos Escrig D, Koutny M, Mikulski L
Editor(s): Donatelli S; Haar S;
Publication type: Conference Proceedings (inc. Abstract)
Publication status: Published
Conference Name: PETRI NETS 2019: Application and Theory of Petri Nets and Concurrency
Year of Conference: 2019
Online publication date: 31/05/2019
Acceptance date: 14/03/2019
Date deposited: 29/03/2019
Publisher: Springer, Cham
Library holdings: Search Newcastle University Library for this item
Series Title: Part of the Lecture Notes in Computer Science book series (LNCS, volume 11522)