| 摘要 | 第1-7页 |
| Abstract | 第7-14页 |
| 第一章 引言 | 第14-20页 |
| ·研究背景与意义 | 第14-17页 |
| ·完成的主要工作 | 第17-20页 |
| 第二章 Petri网的基本知识 | 第20-44页 |
| ·Petri网的基本定义 | 第20-27页 |
| ·结构不变式 | 第27-29页 |
| ·信标和陷阱 | 第29-34页 |
| ·Petri网的应用子类 | 第34-42页 |
| ·S~3PR网 | 第34-38页 |
| ·S~4R网 | 第38-40页 |
| ·G—systerrl | 第40-42页 |
| ·小结 | 第42-44页 |
| 第三章 基于基本信标控制的死锁预防策略 | 第44-60页 |
| ·基本信标和从属信标 | 第44-46页 |
| ·从属信标的控制 | 第46-51页 |
| ·死锁控制 | 第51-55页 |
| ·控制库所设计 | 第51-53页 |
| ·死锁预防策略 | 第53-55页 |
| ·算例 | 第55-59页 |
| ·小结 | 第59-60页 |
| 第四章 死锁控制的分治策略 | 第60-80页 |
| ·问题求解的分治策略 | 第60-63页 |
| ·Petri网的分解 | 第63-66页 |
| ·子控制器设计与全局控制器综合 | 第66-72页 |
| ·实例和算例研究 | 第72-79页 |
| ·实例 | 第72-74页 |
| ·算例研究 | 第74-79页 |
| ·ε和ε~+的比较 | 第76-77页 |
| ·g和g~+的比较 | 第77-79页 |
| ·小结 | 第79-80页 |
| 第五章 Petri网中死锁控制的分解策略 | 第80-96页 |
| ·S~4R网中严格极小信标集合兀的分解 | 第80-83页 |
| ·基于兀分解的S~4R网分解 | 第83-86页 |
| ·子控制器设计与全局控制器综合 | 第86-91页 |
| ·算例研究比较 | 第91-93页 |
| ·小结 | 第93-96页 |
| 第六章 一种综合的死锁检测与死锁预防策略 | 第96-108页 |
| ·S~4R网的基本性质 | 第96-97页 |
| ·S~4R网活性判断的充分条件 | 第97-99页 |
| ·C/D-RUN策略 | 第99-103页 |
| ·死锁预防算法 | 第103-104页 |
| ·算例 | 第104-106页 |
| ·小结 | 第106-108页 |
| 第七章 活性约束 | 第108-120页 |
| ·基本约束与从属约束 | 第108-114页 |
| ·基本约束求取 | 第114-115页 |
| ·冗余活性约束求取 | 第115-117页 |
| ·举例 | 第117-119页 |
| ·结论 | 第119-120页 |
| 第八章 基于Petri网的海军舰艇运河交通系统控制 | 第120-132页 |
| ·海军舰艇运河交通系统建模 | 第120-121页 |
| ·基于MIP迭代的死锁预防策略 | 第121-124页 |
| ·死锁预防算法 | 第122-123页 |
| ·实例控制 | 第123-124页 |
| ·基于MlP和区域法的死锁预防策略 | 第124-129页 |
| ·区域理论的Petri网诠释 | 第124-127页 |
| ·算法与实例控制 | 第127-129页 |
| ·算法比较 | 第129-131页 |
| ·小结 | 第131-132页 |
| 第九章 总结与展望 | 第132-134页 |
| ·论文的主要工作和研究结论 | 第132-133页 |
| ·研究展望 | 第133-134页 |
| 致谢 | 第134-136页 |
| 参考文献 | 第136-145页 |
| 在学期间的研究成果 | 第145-146页 |