离散事件动态系统的PN机理论PDF电子书下载

第一章 绪论 1

1．1 引言 1

1．2 离散事件动态系统模型 1

1．3 内容的安排 12

参考文献 13

第二章 基本知识 19

2．1 形式语言自动机理论 19

2．2 Petri网 20

2．3 袋与袋幂集 26

参考文献 27

第三章 PN机与矢量文法 28

3．1 矢量文法及其分类 28

3．2 正规矢量文法细分及其与经典文法的关系 30

3．3 混杂PN机 35

3．4 广义混杂PN机 40

3．5 PN机范式及其语言关系 46

3．6 PN语言的拟正规性 52

3．7 本章小结 56

参考文献 57

第四章 PN语言的判型实现与识别器 60

4．1 判别PN语言属型的算法基础 60

4．2 判型算法描述 68

4．3 PN语言的串行识别器算法 71

4．4 PN语言的并行识别器算法 74

4．5 本章小结 81

参考文献 82

第五章 行为表达式与安全PN机 84

5．1 行为表达式 84

5．2 安全PN机模型的构造 87

5．3 行为表达式到安全PN机转换算法 92

5．4 本章小结 97

参考文献 98

第六章 PN机的递阶操作 100

6．1 PN机的HT操作 100

6．2 HT操作的行为关系 104

6．3 HT操作的保性研究 106

6．4 PN机的HP操作 111

6．5 HP操作的行为关系 117

6．6 HP操作的保性研究 119

6．7 基于递阶操作的系统建模方法 122

6．8 应用：机械臂抓物系统建模 124

6．9 本章小结 127

参考文献 128

7．1 同步合成与共享合成 129

第七章 PN机的合成操作 129

7．2 结构性质 131

7．3 基于PN语言的活性刻画 133

7．4 活性控制 137

7．5 动态不变性 143

7．6 行为相关性 151

7．7 本章小结 170

参考文献 171

第八章 PN机的性能分析 173

8．1 基于可达图的分析方法 173

8．2 基于矩姆函数的分析方法 178

8．3 基于行为表达式的分析方法 191

8．4 本章小结 200

参考文献 201