迈克尔·布隆丁;马提亚斯·恩格尔;阿兰·芬克尔;斯特凡·格勒;克里斯托夫·哈斯;兰科·拉齐奇;皮埃尔·麦肯齐;帕特里克·托茨克 二维状态向量加法系统的可达性问题。 (英语) Zbl 1499.68219号 美国临床医学杂志 68,第5条,第34条,第43页(2021年). 引用于1文件 MSC公司: 68问题85 并发和分布式计算的模型和方法(进程代数、互模拟、转换网等) 2017年第68季度 问题的计算难度(下限、完备性、近似难度等) 关键词:带状态的向量加法系统;Petri网;半线性集;线性路径方案;可达性 PDF格式BibTeX公司 XML格式引用 \textit{M.Blondin}等人,J.ACM 68,第5号,第34条,43页(2021年;Zbl 1499.68219) 全文: 内政部 链接