布尔状态分离的计算复杂性（技术报告）

对于布尔类型网 $\tau$，一个转移系统 $A$ 可综合为一个 $\tau$-网 $N$，当且仅当 $A$ 的不同状态对应于 $N$ 的不同标识，且当 $A$ 中无相关转移时 $N$ 阻止转移发生。前者称为 $\tau$-状态分离性质（$\tau$-SSP），后者称为 $\tau$-事件/状态分离性质（$\tau$-ESSP）。$A$ 可嵌入到 $\tau$-网 $N$ 的可达图，当且仅当 $A$ 具有 $\tau$-SSP。本文对所有布尔 Petri 网类型的 \textsc{$\tau$-SSP} 的计算复杂性给出了完整刻画。