Universidad Complutense de Madrid
E-Prints Complutense

Reversing Steps in Petri Nets

Downloads

Downloads per month over past year

62987

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

[thumbnail of Frutos53.pdf]
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
Reversing Steps in Petri Nets. In: Donatelli S., Haar S. (eds) Application and Theory of Petri Nets and Concurrency. PETRI NETS 2019. Lecture Notes in Computer Science, vol 11522. Springer, Cham. https://doi.org/10.1007/978-3-030-21571-2_11

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