第一章导言 1
1.1模拟 1
1.2系统的特性 2
目录 3
序言 3
1.3 Petri网的早期发展 3
1.4 Petri网理论的应用 4
1.5应用Petri网理论与纯Petri网理论 5
1.6进一步阅读 6
1.7进一步研究的课题 7
第二章基本定义 8
2.1 Petri网结构 8
2.2 Petri网图 11
2.3 Petri网的标识 17
2.4 Petri网的运行法则 20
2.5 Petri网状态空间 26
2.6其他形式的Petri网定义 30
2.8进一步研究的课题 33
2.7进一步阅读 33
第三章用Petri网进行模拟 35
3.1事件和条件 35
3.2并发和冲突 39
3.3计算机硬件 45
3.4计算机软件 60
3.5其他系统 75
3.6 进一步阅读 83
3.7进一步研究的课题 84
第四章Petri网分析 85
4.1关于Petri网分析的问题 85
4.2分析技术 97
4.2.1可达性树 114
4.2.2矩阵方程 120
4.3进一步阅读 120
4.4进一步研究的课题 123
第五章复杂度和可决定性 123
5.2可达性问题 128
5.1分析问题之间的可约性 128
5.3加限制条件的Petri网结构 132
5.4活性与可达性 136
5.5不可决定的结果 142
5.6可达性问题的复杂度 155
5.7进一步阅读 159
5.8进一步研究的课题 160
6.1动机 162
第六章Petri网语言 162
6.2有关形式语言理论的概念 164
6.3 Petri网语言的定义 166
6.4Petri网语言的性质 173
6.5封闭性质 178
6.6 Petri网语言与其他语言类 191
6.7一些补充结果 199
6.8进一步阅读 201
6.9进一步研究的课题 201
第七章扩充的和加限制条件的Petri网模型 203
7.1 Petri网模型的局限性 204
7.2扩充 210
7.3增广Petri网与寄存器机 215
7.4 Petri网子类 218
7.5进一步阅读 222
7.6进一步研究的课题 224
第八章平行计算的有关模型 225
8.2标识图 228
8.3计算图 228
8.1有限状态机 228
8.4 P/V系统 231
8.5信息传输系统 234
8.6 UCLA图 241
8.7向量加法与置换系统 245
8.8增广Petri网模型 249
8.9进一步阅读 249
8.10进一步研究的课题 250
附录 袋论简述 251
加注释的参考文献目录 255