TY  - RPRT
TI  - Resource Bisimilarity in Petri Nets is Decidable
AU  - Irina Lomazova
AU  - Vladimir Bashkin
AU  - Petr Jančar
PY  - 2022
DO  - 10.3233/fi-222125
UR  - https://arxiv.org/abs/2101.07711
ID  - 2101.07711
ER  -