TY  - JOUR
AU  - Frutos Escrig, David de
AU  - Koutny, Maciej
AU  - Mikulski, Łukasz
PY  - 2019
DO  - 10.1007/978-3-030-21571-2_11
SN  - 0302-9743
UR  - https://hdl.handle.net/20.500.14352/12425
T2  - Lecture Notes in Computer Science
AB  - 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...
LA  - eng
M2  - 171
PB  - Springer
KW  - Petri net
KW  - Reversible computation
KW  - Step semantics
TI  - Reversing Steps in Petri Nets
TY  - journal article
VL  - 11522
ER  -