摘要
迈克尔·布隆丁（Michael Blondin）、马蒂亚斯·恩格尔特（Matthias Englert）、阿兰·芬克尔（Alain Finkel）、斯特凡·格勒（Stefan Göller）、克里斯托夫·哈斯（Christoph Haase）、兰科·拉齐奇（Ranko Lazic）、皮埃尔·麦肯齐（。 2021.具有状态的二维向量加法系统的可达性问题。 美国临床医学杂志68，5（2021），34:1–34:43。 谷歌学者 
数字图书馆 
迈克尔·布隆丁（Michael Blondin）、阿兰·芬克尔（Alain Finkel）、斯特凡·格勒（Stefan Göller）、克里斯托夫·哈斯（Christoph Haase）和皮埃尔·麦肯齐（Pierre McKenzie）。 2015.二维矢量加法系统与州之间的可达性是PSpace-Complete。 2015年LICS会议记录。 32–43. 谷歌学者 数字图书馆 Michael Blondin、Christoph Haase和Philip Offtermatt。 2021.无限状态系统的定向可达性。 《TACAS 2021会议录》（计算机科学讲义，第12652卷）。 3–23. 谷歌学者 数字图书馆 沃伊西奇·切尔温斯基、斯拉沃米尔·拉索塔、兰科·拉齐奇、杰罗姆·勒鲁和菲利普·马佐维耶基。 2019.Petri网的可达性问题不是初等的。 STOC 2019会议记录。 ACM，24–33岁。 谷歌学者 数字图书馆 沃伊西奇·切尔温斯基、斯拉沃米尔·拉索塔、兰科·拉齐奇、杰罗姆·勒鲁和菲利普·马佐维耶基。 2020年，固定维向量加法系统与各州的可达性。 CONCUR 2020会议记录。 48:1–48:21。 谷歌学者 Wojciech Czerwinski和Lukasz Orlikowski。 2021.矢量加法系统的可达性是Ackermann-complete。 FOCS 2021会议记录。 IEEE，1229–1240。 谷歌学者 Wojciech Czerwinski和Lukasz Orlikowski。 2021.矢量加法系统的可达性是Ackermann-complete。 CoRR abs/2104.13866（2021）。 谷歌学者 Wojciech Czerwinski和Lukasz Orlikowski。 2022.固定维VASe中可达性问题的下界。 CoRR abs/2203.04243（2022）。 谷歌学者 亚历克斯·迪克森和兰科·拉齐奇。 2020年。KReach：Petri网中的可达性工具。 《2020年TACAS会议录》（计算机科学讲义，第12078卷）。 405–412. 谷歌学者 数字图书馆 马蒂亚斯·恩格尔、兰科·拉齐奇和帕特里克·托茨克。 2016年，二维一元向量加法系统与州的可达性是NL-完全的。 2016年LICS会议记录。 477–484. 谷歌学者 数字图书馆 帕特里克·C。 阿尔伯特·R·菲舍尔。 Meyer和Arnold L。 罗森博格，1968年。 计数器和计数器语言。 数学系统理论2，3（1968），265-283。 谷歌学者 交叉引用 
Christoph Haase、Stephan Kreutzer、Joöl Ouaknine和James Worrell。 2009.简洁和参数单计数器自动机的可达性。 2009年CONCUR会议记录。 369–383. 谷歌学者 数字图书馆 斯拉沃米尔·拉索塔。 2022.改进了Petri网可达性问题的Ackermannian下限。 《STACS 2022会议录》（LIPIcs，第219卷）。 46:1–46:15。 谷歌学者 杰罗姆·勒鲁。 2021.Petri网的可达性问题不是本原递归的。 FOCS 2021会议记录。 IEEE，1241–1252。 谷歌学者 杰罗姆·勒鲁。 2021.Petri网的可达性问题不是原始递归的。 CoRR abs/2104.12695（2021）。 谷歌学者 Jéróme Leroux和Sylvain Schmitz。 2019.向量加法系统中的可达性在固定维中是基本递归的。 2019年LICS会议记录。 IEEE，1-13。 谷歌学者 交叉引用 杰罗姆·勒鲁和格雷戈伊尔·苏特雷。 2004.关于具有状态的二维向量加法系统的平坦性。 2004年CONCUR会议录（计算机科学讲义，第3170卷）。 402–416之间。 谷歌学者 交叉引用 理查德·J。 利普顿。 1976年，可达性问题需要指数空间。 技术报告。 耶鲁大学。 谷歌学者 安永会计师事务所。 迈尔。 1981.一般Petri网可达性问题的算法。 1981年STOC会议记录。 238–246. 谷歌学者 数字图书馆 西尔万·施密茨。 2016年，《基础之外的复杂性层次》。 ACM事务处理。 计算。 理论8，1（2016），3:1–3:36。 谷歌学者 数字图书馆
建议
向量加法系统的上下文无关问题 LICS’13：2013年第28届ACM/IEEE计算机科学逻辑年会论文集 Petri网或等价向量加法系统（VAS）被广泛认为是并发系统的中心模型。 该类有许多有趣的性质是可判定的，例如有界性、可达性、正则性以及上下文。。。 Petri网的可达性问题不是初等的 STOC 2019：第51届ACM SIGACT计算理论年会论文集 Petri网，也称为向量加法系统，是一种建立已久的并发模型，广泛应用于硬件、软件和数据库系统以及化学、生物和业务流程的建模和分析。 这个。。。
