TY  - JOUR
AU  - Frutos Escrig, David De
AU  - Koutny, Maciej
AU  - Mikulski, Łukasz
PY  - 2021
DO  - 10.3233/FI-2021-2082
SN  - 0169-2968
UR  - https://hdl.handle.net/20.500.14352/7240
T2  - Fundamenta informaticae
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  - 67
PB  - IOS Press
KW  - Petri net
KW  - Reversible computation
KW  - Step semantics
KW  - Action splitting
KW  - Net synthesis
KW  - Direct reversibility
KW  - Mixed reversibility
KW  - Weighted activator arcs
TI  - Investigating reversibility of steps in Petri nets
TY  - journal article
VL  - 183
ER  -