TY - RPRT TI - Reversible Computation in Petri Nets AU - Kyriaki Psara PY - 2021 UR - https://arxiv.org/abs/2101.07066 ID - 2101.07066 ER -