系统工程Petri网 建模、验证与应用指南PDF|Epub|txt|kindle电子书版本网盘下载

系统工程Petri网 建模、验证与应用指南PDF格式电子书版下载

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

第一部分 Petri网——基本概念1

第1章 引言2

第2章 Petri网的实质特征4

2.1 局部确定性和并发5

2.2 图形表示和代数表示7

2.3 并发、冲突和混惑10

2.4 细化和组合11

2.5 网射16

第3章 直观模型21

3.1 常量弧网21

3.2 库所／变迁网23

3.3 有色网25

3.4 折叠28

4.1 库所／变迁网的形式化定义30

第4章 基本定义30

4.2 常量弧网的形式化定义31

4.3 有色网的形式化定义33

第5章 性质40

5.1 基本性质40

5.2 分析方法介绍44

第6章 本书总览55

第二部分 建模59

第7章 引言60

第8章 实例解说建模和分析技术62

8.1 网、优化和抽象62

8.2 库所／变迁网和资源管理67

8.3 有色网、抽象和展开72

9.1 构建块77

第9章 技术77

9.2 结合网79

9.3 高级网82

9.4 分解网85

9.5 小结85

第10章 方法86

10.1 面向状态建模86

10.2 面向事件的建模97

10.3 面向对象建模106

第11章 实例研究115

11.1 面向状态的方法117

11.2 面向事件的方法120

11.3 面向对象方法125

第12章 小结130

第三部分 验证131

第13章 引言：验证所涉及的问题132

13.1 网的分类132

13.2 性质135

13.3 方法分类137

13.4 验证过程142

13.5 概述143

第14章 基于状态空间的方法与模型检验144

14.1 性质、时态逻辑及公平性144

14.2 on-the-fly方法155

14.3 基于偏序的方法158

14.4 符号化和参数化方法174

14.5 实现问题192

14.6 综合及一般性总结评注197

第15章 结构方法199

15.1 网系统归约200

15.2 线性代数技术205

15.3 虹吸和陷阱214

15.4 网子类的分析216

15.5 不变量和有色Petri网的归约222

第16章 演绎与基于进程代数的方法229

16.1 代数网的重写语义230

16.2 断言推理244

16.3 授权逻辑262

16.4 线性逻辑和Petri网268

16.5 利用进程代数验证Petri网模型277

第17章 小结290

第四部分 确认和执行291

第18章 引言292

19.1 软件生命周期和确认293

第19章 系统工程和确认293

19.2 确认294

19.3 一种方法——原型建立295

19.4 工具298

第20章 网的运行301

20.1 集中控制303

20.2 将控制分发给库所304

20.3 将控制分发给边308

20.4 多线程和同步309

20.5 异步310

20.6 小结311

第21章 代码生成312

21.1 对于代码生成的Petri网方法313

21.2 Petri网的划分算法317

21.3 Petri网中代码生成的一些方面323

21.4 高级网中的代码生成333

21.5 小结337

第22章 小结339

第五部 分应用领域341

第23章 引言342

23.1 工作中应用Petri网342

23.2 应用领域342

第24章 柔性制造系统345

24.1 领域概览345

24.2 在FMS中使用Petri网348

24.3 设计方法352

24.4 小结363

第25章 工作流系统364

25.1 领域概述364

25.2 动机366

25.3 设计方法学368

25.4 工作流分析375

25.5 实例学习：Sagitta-2000案例385

25.6 小结386

第26章 电信系统388

26.1 领域概述388

26.2 动机391

26.3 设计方法学392

26.4 分析401

26.5 小结404

第27章 小结405

27.1 公共建模问题405

27.2 共享的分析结果406

术语表407

参考文献422