摘要
Kamel Barkaoui和Laure Petrucci。 1998年，具有共享资源的工作流网络的结构分析。 程序中。 工作流管理：基于网络的概念、模型、技术和工具（WFM），第98/7卷。 82–95. 谷歌学者 
迈克尔·布隆丁。 2020年，Petri网可达性放松的基本原理。 ACM SIGLOG新闻7，3（2020）。 https://doi.org/10.1145/3436980.3436984 谷歌学者 数字图书馆 
扎卡里娅·布齐安内（Zakaria Bouziane）和阿兰·芬克尔（Alain Finkel）。 循环Petri网可达集是半线性有效可构造的。 在第二届无限状态系统（INFINITY）验证国际研讨会上（理论计算机科学电子笔记，第9卷）。 15–24. https://doi.org/10.1016/S1571-0661 (05)80423-2 谷歌学者 交叉引用 
E.Cardoza，Richard J。 利普顿和阿尔伯特·R。 迈耶。 Petri网和交换半群的指数空间完备问题：初步报告。 程序中。 数学615年度ACM计算理论研讨会（STOC）。 50–54. https://doi.org/10.1145/800113.803630 谷歌学者 数字图书馆 Allan Cheng、Javier Esparza和Jens Palsberg，1993年。 1-安全网的复杂性结果。 程序中。 数学616软件技术和理论计算机科学基础会议（FSTTCS），第761卷。 326–337. https://doi.org/10.1007/3-540-57529-4_66 谷歌学者 交叉引用 德米特里·奇斯蒂科夫（Dmitry Chistikov）和克里斯托夫·哈斯（Christoph Haase）。 2016年，《驯服半线性集》。 程序中。 数学617自动化、语言和编程国际学术讨论会（ICALP），第55卷。 128:1–128:13. https://doi.org/10.4230/LIPIcs.ICALP.2016.128 谷歌学者 费鲁西奥·劳伦·伊普利亚（Ferucio Lauren iu iplea）和丹·克里斯蒂安·马里内斯库（Dan Cristian Marinescu）。 2005.工作流网络的结构可靠性是可以决定的。 通知。 过程。 莱特。 96, 2 (2005), 54–58. https://doi.org/10.1016/j.ipl.2005.06.002 谷歌学者 交叉引用 Wojciech Czerwinski和Lukasz Orlikowski。 2021.矢量加法系统的可达性是Ackermann-complete。 程序中。 第62届IEEE计算机科学基础年会（FOCS）。 出现。 谷歌学者 威尔·范德阿尔斯特。 1999.组织间工作流：一种基于消息序列图和Petri网的方法。 系统分析、建模、仿真34，3（1999），335–367。 谷歌学者 Jörg Desel和Javier Esparza。 1995年，自由选择Petri网。 剑桥大学出版社。 https://doi.org/10.1017/CBO9780511526558 谷歌学者 Friedrich Eisenbrand和Robert Weismantel。 2019.使用斯坦尼茨引理进行整数规划的近似结果和更快的算法。 ACM算法事务（TALG）16，5（2019），5:1–5:14。 https://doi.org/10.1145/3340322 谷歌学者 数字图书馆 Christoph Haase和Simon Halfon。 2014.带状态的整数向量加法系统。 程序中。 数学618可达性问题国际研讨会（RP）2014，第8762卷。 112–124. https://doi.org/10.1007/978-3-319-11439-2_9 谷歌学者 交叉引用 米歇尔·亨利·塞奥多尔·哈克。 1976.Petri Nets的可决定性问题。 博士论文。 麻省理工学院。 谷歌学者 杰罗姆·勒鲁。 2021.Petri网的可达性问题不是本原递归的。 程序中。 第62届IEEE计算机科学基础年会（FOCS）。 出现。 谷歌学者 Jéróme Leroux和Sylvain Schmitz。 2019.向量加法系统中的可达性在固定维中是基本递归的。 程序中。 数学619计算机科学逻辑研讨会（LICS）。 谷歌学者 交叉引用 安永会计师事务所。 迈尔。 1981.一般Petri网可达性问题的算法。 程序中。 数学620计算理论研讨会（STOC）。 238–246. https://doi.org/10.1145/800076.802477 谷歌学者 数字图书馆 Ernst W Mayr和Albert R Meyer。 交换半群和多项式理想的词问题的复杂性。 《数学进展》46，3（1982），305-329。 https://doi.org/10.1016/0001-8708 (82)90048-2 谷歌学者 交叉引用 安永会计师事务所。 迈尔和杰里米亚斯·魏曼。 2014.经典Petri网问题框架：保守Petri网的应用。 程序中。 Math 621 Petri网和并发应用和理论国际会议（Petri Nets）。 314–333. https://doi.org/10.1007/978-3-319-07734-5_17 谷歌学者 查尔斯·拉科夫。 1978.向量加法系统的覆盖和有界问题。 理论计算机科学6（1978），223-231。 https://doi.org/10.1016/0304-3975 （78）90036-1 谷歌学者 交叉引用 恩斯特·斯坦尼茨。 1913.Beding konvergente Reihen und konvex Systeme公司。 (1913). 谷歌学者 Wil MP范德阿尔斯特。 1996.健全工作流网络的结构特征。 计算科学报告96，23（1996），18-22。 谷歌学者 Wil M.P.（Wil M.P.）。 范德阿尔斯特。 1997年，验证工作流网络。 程序中。 数学622 Petri网应用和理论国际会议（ICATPN），第1248卷。 407–426. https://doi.org/10.1007/3-540-663139-9_48 谷歌学者 Wil M.P.（Wil M.P.）。 范德阿尔斯特。 1998年，Petri网在工作流管理中的应用。 《电路、系统和计算机杂志》8，1（1998），21–66。 https://doi.org/10.1142/S0218126698000043 谷歌学者 交叉引用 Wil M.P.（Wil M.P.）。 范德阿尔斯和克里斯蒂安·斯塔尔。 2011.业务流程建模-面向Petri网的方法。 麻省理工学院出版社。 谷歌学者 Wil M.P.（Wil M.P.）。 范德阿尔斯（Kees M.van der Aalst）。 阿瑟·H·M·范·希。 Hofstede先生，Natalia Sidorova，H.M。 西。 韦贝克（Verbeek）、马克·沃霍夫（Marc Voorhoeve）和莫·桑达尔·韦恩（Moe Thandar Wynn）。 2011.工作流网络的健全性：分类、可判定性和分析。 计算的形式方面23，3（2011），333–363。 https://doi.org/10.1007/s00165-010-0161-4 谷歌学者 数字图书馆 Boudewijn F.公司。 Ana Karla A.van Dongen。 德梅德罗斯，H.M。 西。 A.J.韦贝克。 M.M.先生。 Weijters和Wil M.P。 范德阿尔斯特。 2005年，ProM框架：过程挖掘工具支持的新时代。 程序中。 数学623 Petri网应用和理论国际会议（ICATPN），第3536卷。 444–454. https://doi.org/10.1007/11494744_25 谷歌学者 数字图书馆 基斯·M。 范希、奥利维娅·奥尼亚、娜塔莉亚·西多罗娃和马克·沃霍夫。 2006.验证工作流网络的通用健全性。 程序中。 数学624系统信息学观点国际安德烈·埃尔肖夫纪念会议（PSI）。 235–247. https://doi.org/10.1007/978-3-540-70881-0_21 谷歌学者 交叉引用 基斯·M。 van Hee、Natalia Sidorova和Marc Voorhoeve。 2003.逐步细化方法中工作流网络的健全性和可分性。 程序中。 2003年数学625国际Petri网应用和理论会议（ICATPN），第2679卷。 337–356. https://doi.org/10.1007/3-540-44919-1_22 谷歌学者 交叉引用 基斯·M。 范希、娜塔莉亚·西多罗娃和马克·沃霍夫。 2004年。工作流网络的一般健全性是可以决定的。 程序中。 数学626 Petri网应用和理论国际会议（ICATPN）。 197–215. https://doi.org/10.1007/978-3-540-27793-4_12 谷歌学者 交叉引用 Joachim von zur Gatheren和Malte Sieveking。 1978.线性整数等式和不等式解的界。 程序。 阿默尔。 数学。 《社会分类》72，1（1978），155-158。 谷歌学者 交叉引用
建议
工作流网络健全性问题的复杂性 Petri网和并发的应用和理论，2012年 经典工作流网简称WF-网是Petri网的一个重要子类，广泛用于工作流系统的建模和分析。 稳健性是工作流系统的一个重要特性，它保证了这些系统无死锁并且。。。 具有重置弧的工作流网络的稳健性 Petri网和其他并发模型上的事务III Petri网通常用于建模和分析工作流。 为了提供形式化语义或验证正确性属性，许多工作流语言被映射到Petri网。 通常，所谓的 工作流网络 用于建模和。。。 有界工作流网稳健性问题的复杂性 PETRI NETS’12：第33届PETRI网应用与理论国际会议论文集 经典工作流网（WF-net）是一类重要的Petri网，广泛用于工作流系统的建模和分析。 健全性是保证这些系统无死锁和有界的一个关键属性。 阿尔斯特 等。 证明了。。。
