基于Petri网信标求解与施控的死锁控制策略PDF电子书下载

查看更多关于的内容

第一章 概述 1

1.1 柔性制造系统 1

1.2 死锁问题的研究方法 4

1.2.1 基于Petri网建模的柔性制造系统 4

1.2.2 基于Petri网的死锁控制策略 8

1.2.3 死锁预防策略 9

1.2.4 冗余控制库所问题 13

1.2.5 活性Petri网控制器实施代价的评价 14

1.2.6 最大活性可达数的活性受控网系统 14

1.3 本章小结 15

第二章 Petri网的基本知识 16

2.1 Petri网的基本定义和性质 16

2.2 结构不变式 22

2.3 可达图 23

2.4 Petri网的复合与基本子类 24

2.5 多集的概念 28

2.6 Petri网结构的特定对象——信标 29

2.7 本章小结 35

第三章 基于完全信标枚举的死锁预防策略 37

3.1 信标枚举法 37

3.1.1 严格极小信标 37

3.1.2 基本信标 39

3.1.3 拓展的基本信标 42

3.2 相应的死锁预防策略 45

3.2.1 SMS枚举与控制算法 45

3.2.2 ES枚举与控制算法 46

3.3 算例 47

3.4 本章小结 49

第四章 基于部分信标枚举的死锁预防策略 50

4.1 混合整数规划方法 50

4.1.1 适用于普通Petri网的MIP 50

4.1.2 适用于一般Petri网的MIP 51

4.1.3 改进的MIP与新的MIP 53

4.2 S3PR网基本信标集合的求解 57

4.2.1 库所的分类 57

4.2.2 基本信标集合的迭代式求解算法 61

4.2.3 算例 65

4.3 基于必需信标的死锁预防算法 67

4.3.1 必需信标 67

4.3.2 控制库所 68

4.3.3 迭代式死锁预防控制算法 69

4.3.4 算例 75

4.4 基于灵巧信标的死锁预防算法 78

4.4.1 迭代式死锁控制算法 78

4.4.2 算例 80

4.5 基于新灵巧信标的死锁与活锁预防算法 86

4.5.1 迭代式死锁与活锁控制算法 86

4.5.2 算例 89

4.6 G-Syetem网的死锁预防策略 92

4.6.1 G-system的定义 92

4.6.2 基于灵巧信标的迭代死锁控制算法 93

4.6.3 算例 95

4.7 本章小结 97

第五章 活性Petri网控制器的结构化简 122

5.1 活性Petri网控制器的结构化简 122

5.1.1 隐式库所及其鉴别 122

5.1.2 鉴别与删除冗余控制库所的迭代式控制算法 124

5.2 算例 127

5.3 本章小结 136

第六章 死锁控制研究的一些新进展 144

6.1 普通Petri网两段式最大可达数的死锁控制算法 144

6.1.1 控制库所与控制变迁 144

6.1.2 从属信标的可控性 147

6.1.3 两段式死锁控制算法 147

6.1.4 算例 149

6.2 基于控制变迁的死锁控制算法 156

6.2.1 控制变迁方程 156

6.2.2 控制变迁数目最小化的线性规划问题 159

6.2.3 控制变迁的重构 160

6.2.4 应用控制变迁的死锁控制算法 161

6.2.5 算例 162

6.3 活性Petri网控制器实施代价评价算法 172

6.3.1 活性控制器的权系数表述 173

6.3.2 f1和f2的多目标线性规划问题 174

6.3.3 相关实施代价评估的规划问题 175

6.3.4 活性控制器实施代价评估的迭代式算法 176

6.3.5 算例 177

6.4 本章小结 183

参考文献 187

查看更多关于的内容