摘要
[1] Best，E.，关于持久Petri网的注释。 收录于：计算机科学课堂讲稿，第5065卷。 斯普林格。 第427-438页。 谷歌学者 
[2] Best，E.和Darondeau，P.，有界持久Petri网的分解定理。 在：《计算机科学讲义》，第5062卷。 斯普林格。 第33-51页。 谷歌学者 数字图书馆 
[3] Best，E.和Darondeau，P.，持久Petri网中的可分离性。 收录于：计算机科学课堂讲稿，第6128卷。 斯普林格。 第246-266页。 谷歌学者 [4] H.D.Burkhard下令在Petri网中开火。 Elektronische Informations verarbeitung und Kybernetik公司。 第17版i2/3。 第71-86页。 谷歌学者 [5]. 放置/转换Petri网。 收录于：《计算机科学讲义》，第1491卷。 斯普林格。 第122-173页。 谷歌学者 数字图书馆 [6] Grabowski，J.，向量加法系统持久性的可判定性。 信息处理信函。 第11版i1。 20-23. 谷歌学者 [7] M.Hack，Petri网语言，MIT 1241975年报告。 谷歌学者 [8] M.Hack，Petri网的可判定性问题，麻省理工学院博士论文，1976年。 谷歌学者 [9] Karp，R.M.和Miller，R.E.，并行程序模式。 计算机与系统科学杂志。 第3节147-195。 谷歌学者 [10] S.R.Kosaraju，向量加法系统可达性的判定，收录于：Proc。 第14届ACM计算机理论年会，1982年，第267-281页。 谷歌学者 [11] Landweber，L.H.和Robertson，E.L.，无冲突和持久Petri网的特性。 美国医学会杂志。 v25.352-364。 谷歌学者 [12] Mayr，E.，向量替换系统的持久性是可判定的。 信息学报。 v15.309-318。 谷歌学者 [13] E.Mayr，一般Petri网可达性问题的算法，收录于：Proc。 第13届ACM计算机理论研讨会，1981年，第238-246页。 谷歌学者 交叉引用 
[14] Minsky，M.，《计算：有限和无限机器》。 1967年普伦蒂斯·霍尔。 谷歌学者 [15] Reisig，W.，Petri Nets。 1985年，EATCS理论计算机科学专著，1985.斯普林格。 谷歌学者 [16] Reutenauer，C.，《Petri网的数学》。 1990年普伦蒂斯·霍尔。 谷歌学者 [17] 斯塔克，P.H.，佩特里·内泽。 1980年，柏林VEB。 谷歌学者 [18] Valk，R.，自修改网，Petri网的自然扩展。 收录于：《计算机科学讲义》，第62卷。 斯普林格。 第464-476页。 谷歌学者 数字图书馆
建议
SAT-解决Petri网的可覆盖性问题 网络展开作为一种在模型检测中对抗状态空间爆炸的强大技术，引起了人们的广泛关注，并已应用于有限状态系统的验证，包括1-安全（有限）Petri网和同步乘积。。。 用嵌套Petri网建模分布式系统中的动态对象 并发规范和编程研讨会（CS&P’2001） 嵌套Petri网（NP-nets）是一个Petri网扩展，允许网络标记中的标记由标记的网络本身表示。 本文讨论了NP网络在任务规划系统、多智能体系统和递归系统建模中的适用性。。。
