《Petri网原理》求取 ⇩

上篇 Perti网系统1

第一章 网和网系统3

第一节 实例3

一、生产流水线3

二、救火队5

三、救火记录6

四、无固定容量的FIFO栈6

五、四季系统9

六、不加解释的系统10

一、网和网的图形表示12

第二节 基本定义12

二、网系统15

三、网系统分类18

四、系统性质22

第二章 基本网系统25

第一节 定义和变迁规则25

第二节 事件间的基本关系28

第三节 S_补和T_补31

第四节 T_图，S_图和活性定理33

第五节 应用36

一、哲学家就餐--共享资源的管理36

二、并行编译40

三、容量不定的先进先出栈46

四、错在哪里49

第三章 库所/变迁系统51

第一节 可达标识集51

一、定义和系统性质51

二、可达树54

三、可达图56

第二节 出现序列和变迁序列59

一、基本定义59

二、原子行为及交叉语义61

第三节 进程62

一、出现网63

二、进程：定义及应用64

三、进程块70

第四节 不变量71

一、关联矩阵71

二、S_不变量72

三、T_不变量73

四、其他结构性质73

第五节 层次模拟和抽象74

一、层次模拟74

二、抽象75

第四章 高级网系统76

一、从库所到谓词77

第一节 谓词/变迁系统77

二、定义和变迁规则78

三、谓词/变迁系统的行为83

第二节 有色网系统88

第三节 自控网系统95

一、定义和变迁规则95

二、不变量99

下篇 通用网论103

第五章 条件/事件系统104

第一节 定义和完全可达关系104

第二节 公理和基本现象106

第三节 完备化108

第六章 同步论110

第一节 同步的各种形式110

第二节 同步距离111

一、S、元素作为观察窗口111

二、同步距离定义和性质113

第三节 同步距离与系统行为116

一、基本集合与同步结构116

二、加权同步距离119

第四节 同步距离的计算119

第五节 同步距离的应用124

第一节 变迁形式分类--网逻辑结构128

第七章 网逻辑128

第二节 事实、命题和推理规则130

第三节 网与命题逻辑133

第四节 网与一阶谓词逻辑141

第五节 网与程式逻辑及职责逻辑144

第六节 网与时态逻辑145

第八章 信息流结构149

第一节 信息流图149

第二节 信息流图的网表示153

第三节 实例157

第一节 传统拓扑159

第九章 网拓扑159

第二节 网拓扑160

第三节 网射162

第四节 范畴165

第十章 并发论168

第十一章 应用176

第一节 选题176

第二节 系统设计和分析177

第三节 知识表示179

附录一 C.A.Petri为《Petri网》一书所写序言原文摘要(附译文)181

附录二 Petri网术语183

参考文献198