《离散事件动态系统》

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