图书介绍

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

Petri网原理与应用
  • 袁崇义著 著
  • 出版社： 北京：电子工业出版社
  • ISBN：7121009706
  • 出版时间：2005
  • 标注页数：285页
  • 文件大小：15MB
  • 文件页数：299页
  • 主题词：计算机网络－高等学校－教材

PDF下载


点此进入-本书在线PDF格式电子书下载【推荐-云解压-方便快捷】直接下载PDF格式图书。移动端-PC端通用
种子下载[BT下载速度快]温馨提示：（请使用BT下载软件FDM进行下载）软件下载地址页直链下载[便捷但速度慢]  [在线试读本书]   [在线获取解压码]
点击复制MD5值：b32db96f2897ad28b3a8ada4a833e2f4

下载说明

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

下载的文件为RAR压缩包。需要使用解压软件进行解压得到PDF格式图书。

点击复制85GB完整离线版磁力链接到迅雷FDM等BT下载工具进行下载  详情点击-查看共享计划
建议使用BT下载工具Free Download Manager进行下载,简称FDM(免费,没有广告,支持多平台）。本站资源全部打包为BT种子。所以需要使用专业的BT下载软件进行下载。如BitComet qBittorrent uTorrent等BT下载工具。迅雷目前由于本站不是热门资源。不推荐使用！后期资源热门了。安装了迅雷也可以迅雷进行下载！

（文件页数 要大于 标注页数，上中下等多册电子书除外）

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

图书目录

第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_net213

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_net226

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

热门推荐