| 第一章 绪论 | 第1-11页 |
| ·研究背景与意义 | 第7-9页 |
| ·本文完成的主要工作 | 第9-11页 |
| 第二章 Petri 网的基本概念 | 第11-17页 |
| ·Petri 网的基本理论 | 第11-14页 |
| ·举例 | 第14-15页 |
| ·自动制造系统的 Petri 网模型 | 第15-16页 |
| ·小结 | 第16-17页 |
| 第三章 S3PR 网模型及基本信标理论 | 第17-24页 |
| ·一类 FMS 的 Petri 网模型－S3PR 简介 | 第17-18页 |
| ·Petri 网的基本信标理论 | 第18-20页 |
| ·信标控制方法 | 第20-23页 |
| ·小结 | 第23-24页 |
| 第四章 两种经典的死锁预防算法 | 第24-31页 |
| ·Ezpeleta 死锁预防算法 | 第24-26页 |
| ·基于 P-不变式的死锁迭代算法 | 第26-28页 |
| ·基于基本信标的修正死锁预防策略 | 第28-29页 |
| ·小节 | 第29-31页 |
| 第五章 一种基于基本信标的 FMS 死锁预防算法 | 第31-37页 |
| ·引言 | 第31-33页 |
| ·S3PR 的死锁预防算法 | 第33-35页 |
| ·小节 | 第35-37页 |
| 第六章 一种 FMS 死锁迭代控制算法 | 第37-59页 |
| ·引言 | 第37-59页 |
| 参考文献 | 第59-62页 |
| 在读期间的研究成果 | 第62页 |