绪论 1
0-1 DEDS的定义与实例 1
0-2 DEDS的特点 8
0-3 DEDS的数学模型 11
0-4 DEDS的分析方法 16
第一章 逻辑层次模型 18
1-1 概述 18
1-2 有限自动机／形式语言分析法 19
一、闭环系统的结构 20
二、监控器的存在性 23
三、监控器的综合 26
四、其它类型监控器 32
1-3 位置／转换Petri网 40
一、位置／转换网及复盖图 40
二、P/T网的分类 49
三、P/T网的主要性能 51
四、P/T网的分析方法 55
1-4 其它逻辑层次模型 60
一、高层网 60
二、计时Petri网 62
三、随机Petri网 65
四、计时转换模型 67
第二章 线性离散事件动态系统 71
2-1 概述 71
2-2 双子理论基础 71
一、双子和双子？ 71
二、矩阵双子 79
三、线性方程的解 83
2-3 计时事件图的双子模型 85
一、双子？方程组 85
二、事件域的方程组 91
三、时间域的方程组 94
2-4 周期性和稳定性 95
一、矩阵的周期性 95
二、稳定性 104
2-5 线性DEDS分析与补偿 108
一、可实现性 108
二、特征值和特征向量 109
第三章 统计性能层次模型 116
3-1 概述 116
3-2 单级随机服务系统 117
一、排队模型及分类 117
二、M/M/s系统 120
三、M/G/l系统 124
四、GI/M/s系统 126
3-3 多级随机服务系统 131
一、Jackson排队网络 131
二、其它排队网络 141
三、其它分析方法 144
3-4 仿真分析法 149
一、仿真的基本概念与一般步骤 149
二、仿真策略 151
三、仿真语言与仿真程序 153
四、仿真程序的运行 155
五、仿真结果分析 156
六、人工智能与仿真 160
3-5 扰动分析法 163
一、标称路径 163
二、扰动的产生规则 169
三、扰动的传播规则 170
四、系统性能指标的灵敏度分析 175
五、算子“E”与“？”可交换的条件 177
六、PA的分类与发展 180
第四章 DEDS在柔性制造系统中的应用 185
4-1 柔性制造系统（FMS） 185
4-2 FMS的Petri网模型 187
4-3 FMS的线性DEDS模型 191
一、FMS的线性DEDS模型的建立 191
二、用线性DEDS分析制造系统的性能指标 194
4-4 FMS的排队网络模型 197
一、FMS的排队网络模型 197
二、仿真评估与实例分析 201
附录 数学基础知识 204
A.1 预备知识 204
A.2 图论 208
A.3 有限自动机和形式语言 212
A.4 Markov过程 215
专业术语索引 226