Toggle Main Menu Toggle Search

Open Access padlockePrints

Reversing Steps in Petri Nets

Lookup NU author(s): Professor Maciej KoutnyORCiD, Dr Lukasz Mikulski

Downloads


Licence

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.


Abstract

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.


Publication metadata

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

Pages: 171-191

Online publication date: 31/05/2019

Acceptance date: 14/03/2019

Date deposited: 29/03/2019

Publisher: Springer, Cham

URL: https://doi.org/10.1007/978-3-030-21571-2_11

DOI: 10.1007/978-3-030-21571-2_11

Notes: http://www.petrinets2019.de/

Library holdings: Search Newcastle University Library for this item

Series Title: Part of the Lecture Notes in Computer Science book series (LNCS, volume 11522)

ISBN: 9783030215705


Share