目 录

第一部分 基础知识

第1章 绪论   2

1.1 Petri网层次化技术的研究现状   2

1.2 本书的组织结构   7

第2章 Petri网和层次颜色Petri网的相关知识   13

2.1 Petri网的基本概念   13

2.2 Petri网的动态性质和结构性质   14

2.3 Petri网的分析方法   15

2.4 颜色Petri网的相关理论   17

第3章 Petri网的行为分析理论   25

3.1 行为轮廓的基本概念   25

3.2 行为轮廓的性质   26

3.3 业务系统的对齐理论   26

3.4 HCPN对应的行为语义   28

第二部分 基于模型抽象的层次化方法及其应用

第4章 基于层次抽象的基本排队系统建模与性能分析   32

4.1 研究背景   32

4.2 排队网络与Colored Petri Net   33

4.3 排队系统的CPN建模规则   35

4.4 队列CPN模型的性能评价   40

4.5 基于CPN模拟的性能评价方法的步骤   42

4.6 本章小结   42

第5章 基于层次抽象的复杂休假排队系统建模与性能分析   44

5.1 研究背景   44

5.2 基本概念和记号   47

5.3 不同休假策略下的排队系统模型及动态语义   48

5.4 模型的性能分析与结果比较   51

5.5 本章小结   56

第6章 模型抽象的层次化方法在复杂工业系统中的应用   59

6.1 研究背景   59

6.2 事件驱动系统的性能评价方法   60

6.3 基于HCPN的矿井机车运输调度系统分析   62

6.4 基于HCPN的机车调度系统性能评价方法   64

6.5 本章小结   75

第7章 层次抽象方法在矿井机车系统故障定位方法中的应用   78

7.1 研究背景   78

7.2 机车调度系统的故障建模与定位方法   79

7.3 故障无二义性识别下的部分可观系统设计方法   83

7.4 机车调度系统中传感器监控节点确定方法   85

7.5 本章小结   88

第三部分 基于行为语义的抽象层次化方法及其应用

第8章 基于搜索树的业务流程Petri网模型抽象化简方法   94

8.1 研究背景   94

8.2 基本记号与定义   96

8.3 基于合理块结构的模型抽象化简算法   96

8.4 模型待抽象化简区域的搜索树定位算法   99

8.5 带cost标签的Petri网业务流程模型抽象化简方法   105

8.6 本章小结   111

第9章 基于抽象技术的变化传播分析方法   114

9.1 研究背景   114

9.2 问题概述   115

9.3 基本概念   115

9.4 变化传播分析   116

9.5 实例分析   119

9.6 本章小结   122

第10章 基于SOA架构的变化传播层次化分析方法   124

10.1 研究背景   124

10.2 相关定义和记号   125

10.3 服务层和流程层变化传播计算方法   128

10.4 案例分析   130

10.5 本章小结   132

第四部分 Petri的层次化方法在行为评价中的其他应用

第11章 基于行为轮廓的局部系统最小故障域定位方法   136

11.1 研究背景   136

11.2 新增最小结构故障域定位方法   137

11.3 实例分析   143

11.3 本章小结   145

第12章 用户Web日志的行为相似度分析方法研究   148

12.1 研究背景   148

12.2 相关概念和定义   149

12.3 用户相似度评价算法   151

12.4 用户日志案例分析   153

12.5 本章小结   156

索引   158