作者简价 1
第1章 网与网系统 1
1.1 网与子网 1
1.2 标识网与网系统 6
1.3 库所／变迁系统与加权Petri网 9
1.4 基本网系统与条件事件系统 12
1.5 并发与冲突 14
1.5.1 并发 14
1.5.2 冲突 16
1.5.3 一般Petri网中的并发与冲突 18
1.6 系统的Petri网模型 19
思考与练习（1） 23
参考文献（1） 24
第2章 Petri网的动态性质 27
2.1 可达性、可逆性和可覆盖性 27
2.2 有界性和安全性 28
2.3 活性 30
2.4 公平性 34
2.5 持续性 41
思考与练习（2） 42
参考文献（2） 44
第3章 Petri网的分析方法 47
3.1 可达标识图与可覆盖性树 47
3.2 关联矩阵与状态方程 53
3.3 变迁发生序列与Petri网语言 58
3.4 Petri网进程 65
思考与练习（3） 68
参考文献（3） 69
第4章 Petri网的结构性质 73
4.1 结构有界性和守恒性 73
4.2 可重复性和协调性 76
4.3 S－不变量和T－不变量 79
4.4 可重复向量 86
4.5 死锁与陷阱 88
4.6 结构公平性 91
4.7 结构活性和活性单调性 96
思考与练习（4） 99
参考文献（4） 100
第5章 一些Petri网子类的动态性质分析和判定 105
5.1 标识S－图 105
5.2 标识T－图 107
5.3 标识自由选择网 112
5.4 标识加权T－图 121
5.5 含本征二级活变迁的Petri网剖析 128
5.6 可达性等价于状态方程可满足性的Petri网子类 136
5.6.1 活的标识T－图 136
5.6.2 行为等价于活的标识T－图的网系统 139
5.6.3 活的加权T－系统 141
5.7 唯一可达向量网系统与状态方程求解 144
5.7.1 唯一可达向量网系统及其状态方程求解 145
5.7.2 把一般Petri网转化为唯一可达向量网系统 150
思考与练习（5） 152
参考文献（5） 153
第6章 Petri网运算 157
6.1 插入 157
6.1.1 插入控制器 158
6.1.2 插入计数器 160
6.1.3 插入基本元素的补元素 161
6.2 删除 162
6.3 替换 164
6.4 化简 167
6.5 合成 169
6.5.1 共享合成 169
6.5.2 同步合成 172
6.6 分解 173
6.6.1 Petri网的公平分解 174
6.6.2 其他分解运算 177
思考与练习（6） 177
参考文献（6） 179
第7章 高级Petri网 181
7.1 颜色Petri网 181
7.1.1 简单的颜色Petri网 181
7.1.2 颜色Petri网的一般定义 186
7.2 谓词／变迁网系统 188
7.2.1 简单的谓词／变迁网系统 188
7.2.2 谓词／变迁网系统的一般定义 192
思考与练习（7） 193
参考文献（7） 194
第8章 增广Petri网 197
8.1 带抑止弧的Petri网 197
8.2.1 逻辑电路和时序电路的增广Petri模型 201
8.2 系统的增广Petri网模型举例 201
8.2.2 算术运算的增广Petri网模型 205
8.3 其他类型的增广Petri网 209
8.3.1 带约束集的Petri网 209
8.3.2 含异或变迁的Petri网 210
8.3.3 变迁含优先数的Petri网 211
思考与练习（8） 212
参考文献（8） 212
第9章 含时间因素的Petri网 215
9.1 时间Petri网 215
9.2 时延Petri网 217
9.3 求解肯定型工程问题的时延Petri网方法 220
9.3.1 肯定型工程问题的Petri网模型 220
9.3.2 根据网系统模型对肯定型工程问题进行分析 222
9.4 求解非肯定型工程问题的时间Petri网方法 227
9.5 任务调度问题的时延Petri网方法 232
9.6 多媒体系统中媒体流间同步合成的时间Petri网分析方法 238
9.6.1 作为媒体流间同步模型的时间Petri网 239
9.6.2 作为媒体流的时间Petri网的同步合成 240
9.6.3 同步变迁的同步层次判定 242
9.7 随机Petri网 247
思考与练习（9） 249
参考文献（9） 249
第10章 其他Petri网变形模型简介 251
10.1 受控Petri网 251
10.2 自控网系统 255
10.3 时序Petri网 257
10.4 连续Petri网 260
10.5 模糊Petri网 264
思考与练习（10） 266
参考文献（10） 266
11.1 并发结构的基本定义 269
第11章 并发论 269
11.2 并发结构的最简性 272
11.3 并发结构的相干性和自然非序 274
11.4 并发结构的稠密性 276
11.5 并发结构的拓扑学性质 278
11.6 并发结构上的连续性质 280
参考文献（11） 283
12.1 同步距离概念的实际背景 285
第12章 同步距离 285
12.2 Petri网中的同步距离定义 287
12.3 对同步距离定义进一步修改的建议 291
12.4 某些Petri网子类中的同步距离计算 295
12.4.1 标识S－图中的同步距离计算 295
12.4.2 标识T－图中的同步距离计算 297
参考文献（12） 300
记号注释 303
索引 309