| 摘要 | 第1-7页 |
| ABSTRACT | 第7-11页 |
| 主要符号对照表 | 第11-13页 |
| 第一章 绪论 | 第13-25页 |
| ·研究背景与意义 | 第13-16页 |
| ·Petri网理论及发展 | 第16-22页 |
| ·本文的研究内容及结构安排 | 第22-25页 |
| 第二章 基础理论 | 第25-37页 |
| ·Petri网的基本定义和性质 | 第25-30页 |
| ·Petri 网的结构定义 | 第25-26页 |
| ·Petri 网变迁的发射规则 | 第26-27页 |
| ·Petri 网的特性 | 第27-28页 |
| ·不变式的定义及其性质 | 第28-29页 |
| ·信标和陷阱的定义和性质 | 第29-30页 |
| ·Petri网的实例分析 | 第30-36页 |
| ·Petri 网模型的建立 | 第30-33页 |
| ·Petri 网模型的分析 | 第33-36页 |
| ·小结 | 第36-37页 |
| 第三章 Petri网应用子类 | 第37-53页 |
| ·S~3PR 网模型 | 第37-40页 |
| ·S~3PR 网建模实例 | 第37-39页 |
| ·S~3PR 网基本定义 | 第39-40页 |
| ·RCN 合并网模型 | 第40-44页 |
| ·G–system网模型 | 第44-51页 |
| ·G–system 网建模实例 | 第44-46页 |
| ·G–system 网定义及性质 | 第46-51页 |
| ·小结 | 第51-53页 |
| 第四章 Petri网基本信标理论 | 第53-61页 |
| ·可控信标 | 第53-54页 |
| ·基本信标与从属信标 | 第54-57页 |
| ·基本信标与从属信标的基本概念 | 第54-56页 |
| ·FMS 实例 | 第56-57页 |
| ·信标的可控条件 | 第57-58页 |
| ·信标的最大可控条件 | 第58-60页 |
| ·小结 | 第60-61页 |
| 第五章 基于无死锁初始标识的死锁预防策略 | 第61-81页 |
| ·区域理论 | 第61-64页 |
| ·信标标识与控制 | 第64-66页 |
| ·死锁预防算法及举例 | 第66-79页 |
| ·基于区域理论的死锁预防算法 | 第66-68页 |
| ·FMS 实例 | 第68-79页 |
| ·小结 | 第79-81页 |
| 第六章 基于基本信标及无死锁初始标识的死锁预防策略 | 第81-95页 |
| ·基于基本信标的控制器设计算法 | 第81-84页 |
| ·FMS 实例 | 第84-89页 |
| ·算法分析及比较 | 第89-94页 |
| ·小结 | 第94-95页 |
| 第七章 基于闲置库所及资源库所标识关系的死锁预防策略 | 第95-107页 |
| ·闲置库所与资源库所的标识关系 | 第95-98页 |
| ·基于库所标识关系的死锁预防算法及举例 | 第98-106页 |
| ·基于信标初始标识控制的死锁预防算法 | 第98-99页 |
| ·FMS 实例 | 第99-106页 |
| ·小结 | 第106-107页 |
| 第八章 总结与展望 | 第107-109页 |
| ·全文总结 | 第107-108页 |
| ·研究展望 | 第108-109页 |
| 致谢 | 第109-110页 |
| 参考文献 | 第110-121页 |
| 研究成果 | 第121-123页 |