离散事件动态系统

绪论 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