On the Home-Space Problem for Petri Nets and its Ackermannian Complexity

Petr Jančar, Jérôme Leroux

A set of configurations $H$ is a home-space for a set of configurations $X$ of aPetri net if every configuration reachable from (any configuration in) $X$ can reach (some configura…