Petri网应用PDF|Epub|txt|kindle电子书版本网盘下载

Petri网应用PDF格式电子书版下载

注意：本站所有压缩包均有解压码： 点击下载压缩包解压工具

第一章 引子：基本观点1

第二章 有向网与网系统8

2.1 网模型的静与动9

2.1.1 有向网：两类元素，两种关系9

2.1.2 变迁规则：资源分布，容量10

2.1.3 网系统：异步并发12

2.1.4 局限：普适和效率13

2.1.5 实例14

2.2 形式定义18

2.3 网系统层次25

2.4 形式异化29

第三章 网系统的性质和通用分析方法31

3.1 动态性质31

3.1.1 基本现象31

3.1.2 动态性质——从实例入手36

3.1.3 活性38

3.1.4 公平性43

3.1.5 有界性44

3.2 分析方法45

3.2.1 覆盖树和覆盖图45

3.2.2 进程和进程块49

3.3 结构性质51

3.3.1 不变量52

3.3.2 语义不变量54

3.3.3 其他结构性质54

3.3.4 结构分析55

第四章 高级网系统56

4.1 谓词／变迁系统57

4.1.1 概念及定义57

4.1.2 谓词／变迁系统之性质和分析方法61

4.2 有色网系统65

4.2.1 概述及定义65

4.2.2 有色网性质及分析方法70

4.3 自控网系统71

4.3.1 概述及定义72

4.3.2 自控网系统的性质与分析方法74

4.3.3 自控网系统的不变量76

第五章 电梯控制78

5.1 一部电梯：变迁外延分析79

5.1.1 着眼点：一个楼层80

5.1.2 按钮81

5.1.3 完整的楼层变迁85

5.1.4 补遗拾漏87

5.2 一部电梯组装：库所分析89

5.2.1 单层楼组装：初装89

5.2.2 库所局部90

5.2.3 所有楼层组装：性质分析91

5.3 N部电梯组装95

5.4 电梯系统的有色网表示96

5.4.1 一部电梯的颜色96

5.4.2 有色网上的四类有向弧101

第六章 同步距离106

6.1 什么是同步距离106

6.2 同步距离定义及计算108

6.3 同步距离应用114

6.3.1 过程控制和系统规范114

6.3.2 同步距离与公平115

第七章 C_net119

7.1 Petri网在编程上能做什么119

7.2 C_net变迁121

7.3 操作表达式124

7.4 C_net形式定义127

7.5 读写冲突，并发及系统性质130

第八章 工作流140

8.1 业务和业务管理140

8.2 任务间的逻辑依赖141

8.3 同步与同步器143

8.4 工作流逻辑网144

8.5 工作流逻辑的性质149

8.6 畅通性证明：化简规则151

8.7 工作流语义160

8.8 工作流管理169

8.9 管理职责与规则173

8.9.1 角色规则174

8.9.2 跳规则176

8.10 多案例处理与性能178

8.11 工作流的定义178

第九章 通用网论180

9.1 网上的两种操作180

9.2 网逻辑181

9.2.1 事实181

9.2.2 从命题到事实182

9.2.3 用事实推理——作图法183

9.2.4 事实向量和命题矩阵186

9.2.5 矩阵推理——代数法188

9.3 信息流网190

9.3.1 信息和条件190

9.3.2 箭头函数——守恒与可逆192

9.3.3 P1和Q的网表示——如何实现箭头函数196

9.3.4 一位噪声通道198

9.4 网拓扑199

9.4.1 无向网上的拓扑结构200

9.4.2 有向网上的连续映射201

9.5 并发203

9.6 形式语用学204

第十章 四季与八卦205

10.1 八卦205

10.2 四季208

10.3 万有律试用211

10.3.1 知识其实只是共识211

10.3.2 源和洞212

10.3.3 源洞合一：？213

10.3.4 万有律中的自由214

10.3.5 没有设计师的伟大建筑215

10.4 拾遗：八卦与阴阳鱼216

参考文献218

附录220

《Petri网原理》一书前言（节选）220

《Petri网原理与应用》前言（节选）222