德塞尔，约格;马克·芬塔默 Petri网的停止变换。 （英语） Zbl 1497.68334号 芬丹。通知。 175，编号1-4，143-172（2020）. 摘要：如果网络的每个可到达标记仅启用有限的出现序列，而没有出现\（t），则转换\（t。大致来说，当\（t \）停止时，网络的所有转换最终都会停止。这篇文章展示了如何使用覆盖图识别无界网的停止转移。此外，所开发的技术适用于一个更一般的问题，考虑到一组停止转换并聚焦于要停止的网络的某一部分。最后，给出了所开发算法的一个实现。 MSC公司： 68问题85 并发和分布式计算的模型和方法（进程代数、互模拟、转换网等） 关键词：无界Petri网;覆盖图;Petri网的终止;停止转换;最小覆盖集 PDF格式BibTeX公司 XML格式引用 \textit{J.Desel}和\textit{M.Finthammer}，Fundam。通知。175，编号1--4，143-172（2020；Zbl 1497.68334） 全文： 内政部 参考文献： [1] Desel J.一次转换能阻止整个网络吗？在：2019年事件数据分析算法与理论国际研讨会会议记录会议卫星事件：2019第40届Petri网和并发Petri网应用与理论国际会议和2019第19届ACSD系统设计并发应用国际会议，ATAED@佩特里2019年6月25日，德国亚琛，篮网/ACSD。2019年第23-35页URLhttp://ceur-ws.org/Vol-2371/ATAED2019-23-35.pdf。 [2] Esparza J.无限状态并发系统模型检查的可判定性。《学报》，1997年。34(2):85-107. doi:10.1007/s002360050074·Zbl 0865.68046号 [3] Lefaucheux E，Giua A，Seatzu C.部分可观测Petri网的基可覆盖图及其在可诊断性分析中的应用。收录于：Khomenko V，Roux OH（eds.），Petri网和并发的应用和理论——第39届国际会议，2018年6月24日至29日，斯洛伐克布拉迪斯拉发，Petri Nets 2018，会议记录，计算机科学讲稿第10877卷。施普林格，2018年，第164-183页。doi:10.1007/978-3-319-91268-49·Zbl 1427.68202号 [4] Schmidt K.模型检查与覆盖图。形式方法系统。设计。，1999.15(3):239-254. doi:10.1023/A:1008753219837。 [5] 卡巴西诺议员，Giua A，Seatzu C.Petri Nets简介。收录于：Seatzu C、Silva M、van Schuppen JH（编辑），《离散事件系统的控制》，控制和信息科学讲稿第433卷，第191-211页。施普林格，2013年。doi:10.1007/9781-4471-4276-810·Zbl 1304.93052号 [6] Desel J.位置/转移网的基本线性代数技术。收录于：Reisig和Rozenberg[19]，1996年，第257-308页。doi:10.1007/3-540-6530_6_18·Zbl 0926.68085号 [7] Desel J.关于无界Petri网的循环行为。作者：Carmona J、Lazarescu MT、PietkiewiczKoutny M（编辑），第13届并行应用于系统设计国际会议，ACSD 2013，西班牙巴塞罗那，2013年7月8日至10日。IEEE计算机学会。ISBN 978-0-7695-5035-0，2013年，第110-119页。doi:10.1109/ACSD.2013.14。 [8] 《Reisig W.Petri网：引言》，EATCS理论计算机科学专著第4卷。斯普林格，1985年。国际标准图书编号（ISBN）3-540-13723-8。doi:10.1007/978-3642-69968-9·Zbl 0555.68033号 [9] Desel J，Reisig W.地点/过渡Petri网。收录于：Reisig和Rozenberg[19]，1996年，第122-173页。doi:10.1007/3-540-65306-6_15·Zbl 0926.68083号 [10] Karp RM，Miller RE，并行程序模式。J.计算。系统。科学。，1969.3（2）：147-195年。doi:10.1016/S0022-0000（69）80011-5·Zbl 0198.32603号 [11] Chubarov D，Voronkov A.整数线性不等式组解的基础：计算和应用。摘自：Jedrzejowicz J，Szepietowski A（编辑），《2005年计算机科学数学基础》，第30届国际研讨会，2005年8月29日至9月2日，波兰格但斯克，MFCS 2005，会议录，计算机科学讲稿第3618卷。斯普林格。ISBN 3-540-28702-72005年，第260-270页。doi:10.1007/11549345_23·Zbl 1156.68623号 [12] Desel J，Finthammer M，Frank A.Cyclon——一种确定Petri网停止跃迁的工具。收录于：Janicki R、Sidorova N、Chatain T（编辑），《Petri网和并发的应用和理论——第41届国际会议》，Petri Nets 2020，法国巴黎，2020年6月24日至25日，《计算机科学讲稿》第12152卷。施普林格，2020年，第392-402页。doi:10.1007/978-3-030-51831-820。 [13] Finkel A.Petri网的最小覆盖图。1993年《Petri网的进展》，第12届Petri网应用和理论国际会议论文，丹麦格杰恩，1991年6月。1991年，第210-243页。doi:10.1007/3-540-56689-945。 [14] Reynier P，Servais F.关于Petri网最小覆盖集的计算。摘自：《可达性问题——第十三届国际会议》，RP 2019，比利时布鲁塞尔，2019年9月11日至13日，会议记录。2019年，第164-177页。doi:10.1007/978-3-030-30806-3_13·Zbl 07121144号 [15] Reynier P，Servais F.Petri网的最小覆盖集：带剪枝的Karp和Miller算法。芬丹。通知。，2013.122(1-2):1-30. doi:10.333/FI-2013-781·Zbl 1282.68175号 [16] Geeraerts G，Raskin J，Begin LV.关于Petri网最小覆盖集的有效计算。摘自：《用于验证和分析的自动化技术》，第五届国际研讨会，2007年10月22日至25日，日本东京，ATVA 2007，会议记录。2007年，第98-113页。doi:10.1007/978-3-540-75596-89·Zbl 1141.68507号 [17] Piipponen A，Valmari A.构造最小覆盖集。芬丹。通知。，2016.143(3-4):393- 414. doi:10.3233/FI-2016-1319·Zbl 1362.68222号 [18] Valmari A，Hansen H.最小覆盖集的新旧算法。芬丹。通知。，2014. 131(1):1-25. doi:10.3233/FI-2014-1002·Zbl 1286.68357号 [19] Reisig W，Rozenberg G（编辑。 此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。