On the Home-Space Problem for Petri Nets and its Ackermannian Complexity (Logical Methods in Computer Science, 2024)