TY  - RPRT
TI  - The Monadic Second Order Theory of Grid-Free 1-Safe Petri Nets is Decidable
AU  - Hugo Gimbert
PY  - 2022
UR  - https://arxiv.org/abs/1802.03336
ID  - 1802.03336
ER  -