TY  - RPRT
TI  - Decidable Reversible Equivalences for Finite Petri Nets
AU  - Roberto Gorrieri
AU  - Ivan Lanese
PY  - 2025
UR  - https://arxiv.org/abs/2506.11517
ID  - 2506.11517
ER  -