米哈伊尔·拉斯金;查纳·威尔·肯尼迪;哈维尔·埃斯帕尔扎 即时观察Petri网的平坦性和复杂性。 （英语） 兹标07559501 Konnov，Igor（编辑）等人，第31届并发理论国际会议。CONCUR 2020，2020年9月1日至4日，奥地利维也纳，虚拟会议。诉讼程序。Wadern:Schloss Dagstuhl–Leibniz Zentrum für Informatik出版社。LIPIcs–莱布尼茨国际程序。通知。171，第45条，第19页（2020年）。 摘要：在之前的一篇文章中，我们介绍了即时观察（IO）Petri网，这是一类研究种群协议和酶化学网络的兴趣。在本文的第一部分中，我们展示了IO网络是全局平坦的，因此可以通过使用加速技术（如FAST）的高效符号模型检查工具来检查它们的安全特性。在第二部分中，我们研究分支IO网（BIO网），其转换可以创建令牌。BIO网扩展了IO网和无通信网，也称为BPP网，这是一个被广泛研究的类。我们表明，虽然BIO网络不再是全局平坦的，并且它们的可达标记集可能是非线性的，但它们仍然是局部平坦的。因此，BIO网络的覆盖性和可达性问题，甚至是其特定的集参数版本，都是在PSPACE中。这使得BIO网成为第一个具有非线性可达关系的自然网类，其可达性问题可证明比一般Petri网更简单。关于整个系列，请参见[兹比尔1445.68020]. 引用于2文件 MSC公司： 68问题85 并发和分布式计算的模型和方法（进程代数、互模拟、转换网等） 关键词：Petri网;可达性分析;参数化验证;平坦性 PDF格式BibTeX公司 XML格式引用 \textit{M.Raskin}等人，LIPIcs——莱布尼茨国际程序。通知。171，第45条，第19页（2020；Zbl 07559501） 全文： 内政部 arXiv公司 参考文献： [1] David Angeli、Patrick De Leenher和Eduardo D Sontag。化学反应网络持久性研究的petri网方法。数学生物科学，210（2）：598-6182007·Zbl 1133.92322号 [2] 达娜·安格鲁因（Dana Angluin）、詹姆斯·阿斯彭斯（James Aspnes）、大卫·艾森斯塔特（David Eisenstat）和埃里克·鲁珀特（Eric Ruppert）。种群协议的计算能力。分布式计算，20（4）：279-3042007·Zbl 1266.68043号 [3] 奥罗尔·安尼奇尼（Aurore Annichini）、艾哈迈德·布阿贾尼（Ahmed Bouajjani）和米哈拉·西希拉努（Mihaela Sighireanu）。TReX：复杂系统可达性分析工具。《计算机科学讲义》，第2102卷，第368-372页，2001年·Zbl 0991.68645号 [4] 保罗·巴尔丹（Paolo Baldan）、尼科莱塔·科科（Nicoletta Cocco）、安德烈亚·马林（Andrea Marin）和玛塔·西梅尼（Marta Simeoni）。代谢途径建模的Petri网：一项调查。自然计算，9（4）：955-9892010·Zbl 1206.68209号 [5] 塞巴斯蒂安·巴丁、阿兰·芬克尔、杰罗姆·勒鲁和劳雷·佩特鲁奇。快速：符号转换系统的快速加速。2003年，《计算机科学讲义》第2725卷，第118-121页。 [6] 伯纳德·博伊格洛特。LASH工具集主页，2014年。网址：http://www.montefiore.ulg。ac.be/boigelot/research/lash/index.html。 [7] P.Chelikani、I.Fita和P.C.Loewen。过氧化氢酶结构和性质的多样性。单元格。分子生命科学。，61, 2004. [8] 瑟伦·克里斯滕森（Sören Christensen）、约拉姆·希尔斯菲尔德（Yoram Hirshfeld）和法伦·莫勒（Faron Moller）。基本并行过程互模拟等价的可分解性、可判定性和公理化性。在LICS中，第386-3961993页。网址：https://www.wikidata.org/entity/Q59557027。 [9] 哈维尔·埃斯帕尔扎。Petri网、交换上下文无关语法和基本并行过程。芬丹。通知。，31(1):13-25, 1997. ·Zbl 0882.68101号 [10] 哈维尔·埃斯帕尔扎（Javier Esparza）、米哈伊尔·拉斯金（Mikhail Raskin）和查娜·韦尔·肯尼迪（Chana Weil Kennedy）。即时观察petri网的参数化分析。《计算机科学讲义》，第11522卷，第365-385页，2019年。 [11] Laurent Fribourg。Petri网、平面语言和线性算术。在WFLP中，第344-365页，2000年。 [12] 约翰·霍普克罗夫特（John E.Hopcroft）和珍妮·雅克·帕尼西奥（Jean-Jacques Pansiot）。关于五维向量加法系统的可达性问题。西奥。计算。科学。，8:135-159, 1979. ·Zbl 0466.68048号 [13] 斯拉沃米尔·拉索塔。EXPSPACE无通信petri网和有限状态系统之间模拟预序的下界。信息处理。莱特。，109(15):850-855, 2009. ·Zbl 1205.68246号 [14] 杰罗姆·勒鲁和格雷戈伊尔·苏特雷。几乎到处都是平面计数器自动机！在ATVA中，《计算机科学讲义》第3707卷，第489-503页。斯普林格，2005年·Zbl 1170.68519号 [15] 沃尔夫冈·马尔旺（Wolfgang Marwan）、安妮格丽特·瓦格勒（Annegret Wagler）和罗伯特·魏斯曼特尔（Robert Weismantel）。Petri网作为重建和分析信号转导通路和调控网络的框架。自然计算，10（2）：639-6542011年·Zbl 1217.92048号 [16] Ernst W.Mayr和Jeremias Weihmann。无通信petri网和相关形式问题的复杂性。芬丹。通知。，137(1):61-86, 2015. ·Zbl 1335.68177号 [17] 徐春燕。BPP-网的可达性等价。西奥。计算。科学。，179(1-2):301-317, 1997. ·Zbl 0901.68070号 此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。