| 摘要 | 第1-6页 |
| ABSTRACT | 第6-7页 |
| 致谢 | 第7-10页 |
| 插图清单 | 第10-11页 |
| 表格清单 | 第11-12页 |
| 第一章 绪论 | 第12-18页 |
| ·Petri 网概述 | 第12-15页 |
| ·论文的选题背景和目标 | 第12-13页 |
| ·Petri 网死锁研究的现状分析 | 第13-15页 |
| ·论文的主要研究内容、拟解决的关键问题及创新之处 | 第15-17页 |
| ·主要研究内容 | 第15-16页 |
| ·拟解决的关键问题 | 第16页 |
| ·本论文的创新之处 | 第16-17页 |
| ·本文的组织结构 | 第17-18页 |
| 第二章 Petri 网基础理论 | 第18-27页 |
| ·Petri 网的基本概念 | 第18-21页 |
| ·Petri 网的形式化定义 | 第18页 |
| ·输入或者输出的变迁集合和库所集合 | 第18-19页 |
| ·变迁激发规则 | 第19页 |
| ·Petri 网的关联矩阵 | 第19-20页 |
| ·死锁的定义 | 第20-21页 |
| ·结构死锁 | 第20-21页 |
| ·动态死锁 | 第21页 |
| ·Petri 网的动态性质 | 第21-23页 |
| ·可达性 | 第21页 |
| ·活性和死锁 | 第21-22页 |
| ·有界性 | 第22页 |
| ·公平性 | 第22页 |
| ·库所不变量与变迁不变量 | 第22-23页 |
| ·Petri 网的分析方法 | 第23-26页 |
| ·可达标识树分析方法 | 第23-24页 |
| ·关联矩阵与状态方程分析方法 | 第24-25页 |
| ·Petri 网的简化技术 | 第25-26页 |
| ·小结 | 第26-27页 |
| 第三章 Petri 网死锁避免策略 | 第27-41页 |
| ·引起死锁产生的原因和必要条件 | 第27-28页 |
| ·引起死锁产生的原因 | 第27页 |
| ·导致死锁产生的四个必要条件 | 第27-28页 |
| ·死锁检测算法 | 第28-30页 |
| ·最小死锁检测算法 | 第28页 |
| ·基于可达标识树的死锁检测算法 | 第28-29页 |
| ·一种改进的可达标识树死锁检测算法 | 第29-30页 |
| ·几种可以避免死锁的常用 Petri 网系统模型 | 第30-32页 |
| ·增加系统资源避免死锁策略 | 第30-31页 |
| ·进程一次性申请进程运行中所需的全部资源避免死锁策略 | 第31页 |
| ·系统资源按序申请避免死锁策略 | 第31页 |
| ·带使能弧避免死锁策略 | 第31-32页 |
| ·用控制器来预防和避免死锁策略 | 第32-38页 |
| ·Petri 网控制器设计时需要的相关概念 | 第32-34页 |
| ·一般不等式约束 | 第32页 |
| ·混合约束 | 第32-33页 |
| ·变迁的可控可观性 | 第33-34页 |
| ·局部设计原则和 Petri 网的简化技术 | 第34页 |
| ·用控制器来避免和解除死锁具体方法 | 第34-38页 |
| ·构造混合约束 | 第34-35页 |
| ·避免死锁的控制器设计算法 | 第35-36页 |
| ·避免死锁策略的具体实施方案 | 第36-38页 |
| ·柔性制造系统中一个 FMS 单元的死锁避免方案 | 第38-40页 |
| ·小结 | 第40-41页 |
| 第四章 存在不可控变迁的 Petri 网死锁避免策略 | 第41-55页 |
| ·不可控变迁的转换算法 | 第41-45页 |
| ·使用 C-变换约束转换算法 | 第41-43页 |
| ·Parikh 向量不等式的约束转换算法 | 第43页 |
| ·等价的线性变换的约束转换算法 | 第43-45页 |
| ·避免死锁的控制器设计 | 第45-50页 |
| ·避免死锁的控制器设计算法 | 第45-47页 |
| ·仿真与分析 | 第47-49页 |
| ·避免死锁策略的具体实施方案 | 第49-50页 |
| ·柔性制造系统的死锁避免方案 | 第50-54页 |
| ·小结 | 第54-55页 |
| 第五章 总结与展望 | 第55-57页 |
| ·本文的工作总结 | 第55页 |
| ·工作展望 | 第55-57页 |
| 参考文献 | 第57-61页 |
| 攻读硕士学位期间发表的论文 | 第61-62页 |