TY  - RPRT
TI  - On the Home-Space Problem for Petri Nets and its Ackermannian Complexity
AU  - Petr Jančar
AU  - Jérôme Leroux
PY  - 2024
DO  - 10.46298/lmcs-20(4:23)2024
UR  - https://arxiv.org/abs/2207.02697
ID  - 2207.02697
ER  -