A set of configurations $\mathbf{H}$ is an home-space for a set of configurations $\mathbf{X}$ of a Petri net if every configuration reachable from $\mathbf{X}$ can reach $\mathbf{H}$. The semilinear home-space problem for Petri nets asks, given a Petri net $A$, and semilinear sets of configurations $\mathbf{X},\mathbf{H}$ if $\mathbf{H}$ is an home-space for $\mathbf{X}$. In 1989, Davide de Frutos Escrig and Colette Johnen proved that the problem is decidable when $\mathbf{X}$ is a singleton and $\mathbf{H}$ is a finite union of linear sets using the same periods. In this paper, we show that the general problem is decidable. This result is obtained by proving a duality between the reachability problem and the non-home-space problem. More formally, we prove that for any Petri net $A$ and for any linear set of configurations $\mathbf{L}$, we can effectively compute a semilinear set $\mathbf{W}$ of configurations such that for every set $\mathbf{X}$, the set $\mathbf{L}$ is not an home-space for $\mathbf{X}$ if, and only if $\mathbf{W}$ is reachable from $\mathbf{X}$.

翻译：一套配置 $\ mathbf{H} 美元是一套配置的家用空间 $\ mathbf{X} 美元 如果每套配置都能从$\ mathbf{X} 美元达到 $\ mathbbf{H} 美元。 给 Petrinet 的半线性家用空间问题, 给 Petrii 净额$A$ 和半线性组合的半线性组合 $\ mathb{X} 美元 如果$\ mathb{H} 美元是 $\ mathf} 美元的家用 美元。 在1989年, David de Frutos Escrig 和 Colette Johnen 证明, 当 $\ mathb{X} 美元是单吨和 $\ mathffnf{H} 美元时, 问题就是一个问题。 在本文中, 如果一般问题可以解析 。