Petri网原理与应用PDF电子书下载

第1篇 入门篇 1

第1章 引子：基本观点 2

第2章 网和网系统 8

2.1 实例 9

2.1.1 生产流水线 9

2.1.2 救火队 10

2.1.3 救火记录 12

2.1.4 无固定容量的FIFO栈 13

2.1.5 四季系统 14

2.1.6 不加解释的系统 16

2.2 基本定义 18

2.2.1 网和网的图形表示 18

2.2.2 网系统 21

2.2.3 网系统分类 24

2.2.4 系统性质 29

第2篇 系统篇 31

第3章 基本网系统 32

3.1 定义和变迁规则 32

3.2 事件间的基本关系 35

3.3 S_补和T_补 38

3.4 T_图、S_图和活性定理 40

3.5 应用 43

3.5.1 哲学家就餐——共享资源的管理 43

3.5.2 并行编译 47

3.5.3 容量不定的先进先出栈 53

3.5.4 错在哪里 56

第4章 库所／变迁系统（P/T_系统） 58

4.1 可达标识集 58

4.1.1 定义和系统性质 58

4.1.2 覆盖树 61

4.1.3 覆盖图 63

4.2 出现序列和变迁序列 66

4.2.1 基本定义 67

4.2.2 原子行为及交叉语义 69

4.3 进程 70

4.3.1 出现网 70

4.3.2 进程的定义与应用 71

4.3.3 进程块 78

4.4 不变量 79

4.4.1 关联矩阵 79

4.4.2 S_不变量 80

4.4.3 T_不变量 81

4.4.4 其他结构性质 82

4.4.5 层次模拟和忽略细节 82

第5章 高级网系统 84

5.1 谓词／变迁系统（Pr/T_系统） 85

5.1.1 从库所到谓词 85

5.1.2 定义和变迁规则 86

5.1.3 谓词／变迁系统的行为 92

5.2 有色网系统 97

5.3 自控网系统 103

5.3.1 定义和变迁规则 104

5.3.2 不变量 108

第3篇 理论篇 113

第6章 条件／事件系统（C/E_系统） 114

6.1 定义和完全可达关系 114

6.2 公理和基本现象 116

6.3 完备化 118

第7章 同步论 120

7.1 同步的各种形式 120

7.2 同步距离 121

7.2.1 S_元素作为观察窗口 121

7.2.2 同步距离的定义和性质 122

7.3.1 基本集合与同步结构 125

7.3 同步距离与系统行为 125

7.3.2 加权同步距离 129

7.4 同步距离的计算 129

7.5 同步距离的应用 135

第8章 网逻辑 138

8.1 变迁形式分类——网逻辑结构 138

8.2 事实、命题和推理规则 140

8.3 网与命题逻辑 142

8.4 网与一阶谓词逻辑 151

8.5 网与程式逻辑及职责逻辑 154

8.6 网与时态逻辑 155

第9章 信息流结构 159

9.1 信息流图 160

9.2 信息流图的网表示 163

9.3 实例 166

10.1 传统拓扑 169

第10章 网拓扑 169

10.2 网拓扑 170

10.3 网射 172

10.4 范畴 175

第11章 并发论 178

第4篇 应用篇 187

12.1.2 需求分析 188

12.1.1 用户需求 188

12.1 电梯问题 188

第12章 电梯控制系统 188

12.2 系统设计 189

12.2.1 变迁 190

12.2.2 变迁的外延——状态元素 190

12.2.3 按钮解释 191

12.2.4 变迁u_stop（i） 194

12.2.5 按钮变迁和变迁u_close（i） 195

12.3 系统组装 196

12.2.6 改变方向的变迁u_d（i） 196

12.4 正确性分析 198

12.5 有色网模型 200

12.5.1 为什么节点多 200

12.5.2 库所组合有色网 201

12.5.3 电梯系统的有色网模型 207

12.6 小结 212

第13章 C_net 213

13.1 S_元和V_元 213

13.2 变迁状态和V_元外延 214

13.3 变迁规则 215

13.4 C_net的形式化定义 216

13.5 实例 218

13.6 读写冲突及系统性质 219

13.7 汉诺塔问题 221

14.1 形式化方法 225

第14章 工作流模型 225

14.2 Aalst的WF_net 226

14.3 工作流和工作流管理系统 229

14.4 工作流逻辑网 230

14.5 化简规则 236

14.6 工作流语义 243

14.7 工作流引擎 250

14.7.1 工作流管理逻辑 250

14.7.2 引擎核 255

14.8 角色的层次结构 256

14.9 多案例处理和性能 258

附录A 原《Petri网》一书序言节选（附译文） 259

附录B Petri网术语 262

附录C 电梯控制系统UNITY程序 280

参考文献 283