Impacto
Downloads
Downloads per month over past year
Frutos Escrig, David de and Koutny, Maciej and Mikulski, Łukasz (2019) Reversing Steps in Petri Nets. Lecture Notes in Computer Science, 11522 . pp. 171-191. ISSN 0302-9743
Preview |
PDF
488kB |
Official URL: https://doi.org/10.1007/978-3-030-21571-2_11
Abstract
In reversible computations one is interested in the development of mechanisms allowing to 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 of the execution of groups of actions (steps). Using Petri nets as a system model, we introduce concepts related to this
new scenario, generalising notions used in the single action case. We then present a number of properties which arise in the context of reversing of steps of executed transitions in place/transition nets. We obtain both positive and negative results, showing that dealing with steps makes reversibility more involved than in the sequential case. In particular, we demonstrate that there is a crucial difference between reversing steps which are sets and those which are true multisets.
Item Type: | Article |
---|---|
Additional Information: | The original publication is available at www.springerlink.com |
Uncontrolled Keywords: | Petri net, Reversible computation, Step semantics |
Subjects: | Sciences > Computer science > Artificial intelligence Sciences > Mathematics > Cybernetics Sciences > Mathematics > Topology |
ID Code: | 62987 |
Deposited On: | 06 Nov 2020 19:03 |
Last Modified: | 10 Nov 2020 07:50 |
Origin of downloads
Repository Staff Only: item control page