前言 1
第1章 离散事件动态系统概论 1
1.1离散事件动态系统 1
1.2离散事件动态系统的建模和分析方法 6
1.3 Petri网理论发展和应用概况 9
参考文献 10
第2章Petri网的基本理论 11
2.1 Petri网的基本概念 11
2.1.1网结构与标识网 11
2.1.2几类简单的网系统 13
2.1.3 Petri网的向量和矩阵表示 15
2.1.4系统的Petri网模型 17
2.2 Petri网及其动态和结构性质 20
2.2.1可达性、有界性和可覆盖性 20
2.2.2并发和冲突 23
2.2.3公平性和持续性 26
2.2.4结构有界性和守恒性 27
2.2.5活性、虹吸与陷阱 29
2.3 Petri网的分析与运算方法 32
2.3.1可达标识图与可覆盖图 32
2.3.2关联矩阵与状态方程 36
2.3.3不变量分析方法 38
2.3.4嵌入与删除运算 39
2.3.5简化与细化运算 43
2.3.6合成与分解运算 47
2.4几类高级Petri网举例 50
2.4.1着色Petri网与谓词变迁网 51
2.4.2受控Petri网与自控Petri网 55
2.4.3赋时Petri网与随机Petri网 59
2.4.4模糊Petri网与自适应Petri网 65
2.4.5连续Petri网与混杂Petri网 70
参考文献 79
第3章Petri网在民航维修工程中的应用 81
3.1民航发动机维修知识表达与推理 82
3.1.1车间维修等级决策过程 82
3.1.2维修决策知识的建模 83
3.1.3维修决策知识的定性与定量推理 87
3.1.4发动机故障知识库的学习 91
3.1.5维修工作范围决策应用案例 97
3.2民航发动机维修分解与装配规划 99
3.2.1发动机结构的划分与管理 99
3.2.2发动机分解与装配建模 100
3.2.3分解与装配最优序列规划 104
3.2.4分解与装配最优序列求解 107
3.2.5分解装配序列规划应用案例 109
3.3民航维修作业工作流建模与分析 111
3.3.1维修作业任务分解结构 111
3.3.2维修工作流的动态建模 113
3.3.3维修工作流的可调度性分析 115
3.3.4维修工作流的执行时间分析 118
3.3.5工作流验证方法应用案例 121
3.4民航发动机车间维修资源调度 123
3.4.1维修资源调度的过程 123
3.4.2维修资源需求建模研究 126
3.4.3化解维修资源冲突的路由策略 129
3.4.4维修资源的调度方法 131
3.4.5维修资源调度应用案例 134
3.5民航维修车间服务能力评价 136
3.5.1车间维修服务过程排队模型 137
3.5.2随机Petri网平均值分析原理 141
3.5.3单维修等级平均值迭代算法 142
3.5.4车间多维修等级平均值分析 144
3.5.5车间维修服务能力评价应用案例 148
参考文献 151
第4章Petri网在空中交通管制中的应用 154
4.1航空器场面滑行路径建模与规划 154
4.1.1滑行路径规划总体框架 155
4.1.2机场场面滑行路径建模 156
4.1.3航空器静态滑行路径规划 162
4.1.4航空器动态滑行路径规划 164
4.1.5航空器动态滑行路径规划案例 168
4.2机场场面航空器滑行引导与控制 170
4.2.1航空器滑行引导控制系统结构 170
4.2.2航空器滑行动态系统建模 171
4.2.3场面运行观测器的设计 174
4.2.4场面滑行冲突控制器的设计 176
4.2.5滑行操纵指令生成器的设计 180
4.2.6场面滑行引导案例 181
4.3基于传感器网络的机场跑道入侵防御 184
4.3.1机场跑道入侵防御系统总体方案 184
4.3.2机场跑道入侵防御系统模型 187
4.3.3面向跑道入侵的控制器设计 190
4.3.4跑道入侵防御仿真系统及验证 193
4.4多航空器预战术无冲突4D航迹规划 195
4.4.1空中交通系统动态建模 195
4.4.2空中交通系统极大代数描述 200
4.4.3多航空器无冲突4D航迹规划 204
4.4.4无冲突4D航迹规划案例研究 206
4.5空中交通实时冲突探测与解脱 210
4.5.1空中交通混杂控制系统结构 210
4.5.2空中交通系统模型 212
4.5.3飞行状态观测器的构造 215
4.5.4飞行冲突离散控制器的设计 217
4.5.5飞行操纵指令生成器的设计 218
4.5.6飞行冲突探测与解脱案例 218
参考文献 222
第5章Petri网在民航运输管理中的应用 225
5.1民用航空器机场地面作业优化 225
5.1.1机场地面作业内容及流程 226
5.1.2机场地面作业模型及其分析 229
5.1.3机场地面作业案例及其优化 231
5.2机场航站楼进港旅客流仿真 234
5.2.1机场航站楼内旅客流建模 235
5.2.2基于存储和转移的旅客流模型 237
5.2.3基于Petri网的旅客流建模与仿真 239
5.2.4仿真案例及仿真结果分析 243
5.3航空货运出港系统分析与优化 247
5.3.1物流中心作业分区及流程 248
5.3.2货运出港系统分析与优化 251
5.3.3货运出港系统性能分析 253
5.3.4出港系统实例分析及优化建议 255
5.4航班延误时间及其传播分析 257
5.4.1基于飞行计划的航班转移模型 258
5.4.2基于航班运行状态的转移模型 261
5.4.3源机场初始延误及其传播分析 263
5.4.4资源竞争造成的延误及其传播分析 266
5.4.5仿真实验及传播分析 267
参考文献 270