基于Petri网信标求解与施控的死锁控制策略

第一章 概述
1.1 柔性制造系统
1.2 死锁问题的研究方法
1.2.1 基于Petri网建模的柔性制造系统
1.2.2 基于Petri网的死锁控制策略
1.2.3 死锁预防策略
1.2.4 冗余控制库所问题
1.2.5 活性Petri网控制器实施代价的评价
1.2.6 最大活性可达数的活性受控网系统
1.3 本章小结
第二章 Petri网的基本知识
2.1 Petri网的基本定义和性质
2.2 结构不变式
2.3 可达图
2.4 Petrj网的复合与基本子类
2.5 多集的概念
2.6 Petri网结构的特定对象——信标
2.7 本章小结
第三章 基于完全信标枚举的死锁预防策略
3.1 信标枚举法
3.1.1 严格极小信标
3.1.2 基本信标
3.1.3 拓展的基本信标
3.2 相应的死锁预防策略
3.2.1 SMS枚举与控制算法
3.2.2 ES枚举与控制算法
3.3 算例
3.4 本章小结
第四章 基于部分信标枚举的死锁预防策略
4.1 混合整数规划方法
4.1.1 适用于普通Petri网的MIP
4.1.2 适用于一般Petri网的MIP
4.1.3 改进的MIP与新的MIP
4.2 S3PR网基本信标集合的求解
4.2.1 库所的分类
4.2.2 基本信标集合的迭代式求解算法
4.2.3 算例
4.3基于必需信标的死锁预防算法
4.3.1 必需信标
4.3.2 控制库所
4.3.3 迭代式死锁预防控制算法
4.3.4 算例
4.4 基于灵巧信标的死锁预防算法
4.4.1 迭代式死锁控制算法
4.4.2 算例
4.5 基于新灵巧信标的死锁与活锁预防算法
4.5.1 迭代式死锁与活锁控制算法
4.5.2 算例
4.6 G—Syetem网的死锁预防策略
4.6.1 G—system的定义
4.6.2 基于灵巧信标的迭代死锁控制算法
4.6.3 算例
4.7 本章小结
第五章 活性Petri网控制器的结构化简
5.1 活性Petri网控制器的结构化简
5.1.1 隐式库所及其鉴别
5.1.2 鉴别与删除冗余控制库所的迭代式控制算法
5.2 算例
5.3 本章小结
第六章 死锁控制研究的一些新进展
6.1 普通Petri网两段式最大可达数的歹E锁控制算法
6.1.1 控制库所与控制变迁
6.1.2 从属馆标的可控性
6.3 两段式死锁控制算法
6.1.4 算例
6.2 基于控制变迁的死锁控制算法
6.2.1 控制变迁方程
6.2.2 控制变迁数目最小化的线性规划问题
6.2.3 控制变迁的重构
6.2.4 应用控制变迁的死锁控制算法
6.2.5 算例
6.3 活性Pti网控制器实施代价评价算法
6.3.1 活性控制器的权系数表述
6.3.2 和^的多目标线性规划问题
6.3.3 相关实施代价评估的规划问题
6.3.4 活性控制器实施代价评估的迭代式算法
6.3.5 算例
6.4 本章小结
参考文献