| 作者简介 | 第1-6页 |
| 摘要 | 第6-8页 |
| Abstract | 第8-11页 |
| 符号对照表 | 第11-14页 |
| 目录 | 第14-16页 |
| 第一章 引言 | 第16-30页 |
| ·研究背景及其意义 | 第16-17页 |
| ·死锁问题的研究方法 | 第17-27页 |
| ·Petri网建模的柔性制造系统 | 第18-22页 |
| ·基于Petri网的死锁控制方法 | 第22-23页 |
| ·死锁预防策略 | 第23-26页 |
| ·冗余控制库所问题 | 第26-27页 |
| ·论文的主要研究工作和论文内容安排 | 第27-30页 |
| ·论文的主要研究工作 | 第27页 |
| ·论文内容安排 | 第27-30页 |
| 第二章 Petri网的基本知识 | 第30-48页 |
| ·Petri网的基本定义和性质 | 第30-37页 |
| ·结构不变式 | 第37-38页 |
| ·Petri网结构的特定对象—信标 | 第38-42页 |
| ·可达图 | 第42-43页 |
| ·多集的概念 | 第43-44页 |
| ·Petri网的复合 | 第44-47页 |
| ·本章小结 | 第47-48页 |
| 第三章 S~3PR网基本信标集合的求解 | 第48-64页 |
| ·基本概念和MIP方法 | 第48-51页 |
| ·基本概念 | 第48-50页 |
| ·MIP方法 | 第50-51页 |
| ·库所分类和基本信标集合的算法 | 第51-59页 |
| ·库所分类 | 第51-55页 |
| ·基本信标集合的求解算法 | 第55-59页 |
| ·算例 | 第59-63页 |
| ·讨论 | 第63页 |
| ·本章小结 | 第63-64页 |
| 第四章 应用必需信标的Petri网死锁预防策略 | 第64-80页 |
| ·基本概念和MIP方法 | 第64-67页 |
| ·基本概念 | 第64-66页 |
| ·MIP方法 | 第66-67页 |
| ·必需信标 | 第67-69页 |
| ·控制库所 | 第69-70页 |
| ·基于必需信标控制的迭代式死锁预防策略 | 第70-76页 |
| ·算例 | 第76-79页 |
| ·本章小结 | 第79-80页 |
| 第五章 基于灵巧信标控制的Petri网死锁预防策略 | 第80-94页 |
| ·改进的混合整数规划方法 | 第80-83页 |
| ·迭代求解和控制灵巧信标的死锁预防策略 | 第83-85页 |
| ·算例验证 | 第85-93页 |
| ·本章总结 | 第93-94页 |
| 第六章 活性受控Petri网系统的结构化简 | 第94-110页 |
| ·隐式库所的概念、鉴别方法 | 第94-96页 |
| ·迭代式鉴别和删除冗余控制库所的算法 | 第96-99页 |
| ·算例验证 | 第99-107页 |
| ·讨论 | 第107-108页 |
| ·本章小结 | 第108-110页 |
| 第七章 总结与展望 | 第110-112页 |
| ·论文总结 | 第110-111页 |
| ·研究展望 | 第111-112页 |
| 致谢 | 第112-114页 |
| 参考文献 | 第114-124页 |
| 在学期间的研究成果 | 第124-125页 |