| 摘要 | 第1-7页 |
| Abstract | 第7-20页 |
| 第一章 引言 | 第20-28页 |
| 第二章 图论的基本知识 | 第28-46页 |
| ·笛卡儿积和无序集 | 第28页 |
| ·布尔矩阵及其运算 | 第28-29页 |
| ·图的基本概念 | 第29-30页 |
| ·图的图形表示 | 第30页 |
| ·一些图的种类 | 第30-31页 |
| ·顶点的度 | 第31页 |
| ·图的同构、运算和子图 | 第31-32页 |
| ·路与连通 | 第32-34页 |
| ·图的矩阵表示 | 第34-36页 |
| ·关系及其表示 | 第36-37页 |
| ·关系的性质 | 第37页 |
| ·关系的闭包 | 第37页 |
| ·由邻接矩阵求取可达矩阵的3种方法 | 第37-40页 |
| ·一般法 | 第37-38页 |
| ·布尔矩阵算法 | 第38-39页 |
| ·Warshall算法 | 第39-40页 |
| ·计算有向图强分图的方法 | 第40-44页 |
| ·可达矩阵法 | 第40页 |
| ·深度优先搜索法 | 第40-44页 |
| ·小结 | 第44-46页 |
| 第三章 Petri网的基本知识 | 第46-100页 |
| ·Petri网的形式化定义 | 第46-55页 |
| ·结构不变式 | 第55-57页 |
| ·信标和陷阱 | 第57-64页 |
| ·Petri网的基本信标理论 | 第64-74页 |
| ·等价信标 | 第64-65页 |
| ·基本信标和从属信标 | 第65-68页 |
| ·从属信标的控制 | 第68-74页 |
| ·Petri网的子类 | 第74-86页 |
| ·状态机 | 第75页 |
| ·标识图 | 第75页 |
| ·自由选择网 | 第75-76页 |
| ·扩展的自由选择网 | 第76页 |
| ·非对称选择网 | 第76-77页 |
| ·S~3PR 网 | 第77-81页 |
| ·LS~3PR 网 | 第81-82页 |
| ·ES~3PR 网 | 第82-83页 |
| ·S3PGR2 | 第83-84页 |
| ·S4R网(S4PR) | 第84-86页 |
| ·G-system | 第86页 |
| ·死锁预防策略 | 第86-98页 |
| ·A-策略 | 第87-89页 |
| ·B1-策略 | 第89-90页 |
| ·B2-策略 | 第90页 |
| ·E-策略 | 第90-91页 |
| ·H1-策略 | 第91页 |
| ·H2-策略 | 第91-92页 |
| ·L1-策略 | 第92页 |
| ·L2-策略 | 第92-93页 |
| ·L3-策略 | 第93页 |
| ·P-策略 | 第93-94页 |
| ·T-策略 | 第94页 |
| ·U1-策略 | 第94-95页 |
| ·U2-策略 | 第95-96页 |
| ·X-策略 | 第96-97页 |
| ·各种死锁预防方法的比较 | 第97-98页 |
| ·小结 | 第98-100页 |
| 第四章 LS~3PR 网基本信标的求取 | 第100-134页 |
| ·关于S~3PR 网信标补集的再讨论 | 第100-102页 |
| ·S~3PR 网补集矩阵 | 第102-104页 |
| ·LS~3PR 的资源有向图 | 第104-108页 |
| ·LS~3PR 的SMS与资源有向图的关系 | 第108-114页 |
| ·资源有向图确定LS~3PR 网的基本信标数目 | 第114-132页 |
| ·资源有向图确定LS~3PR 网基本信标数目的算法 | 第114-126页 |
| ·α的确定 | 第115-117页 |
| ·δ的确定 | 第117-120页 |
| ·|Π_E|的确定 | 第120-126页 |
| ·LS~3PR 网中|Π|max和|Π_E|max的确定 | 第126-129页 |
| ·确定LS~3PR 网中基本信标数目的算法复杂度分析和仿真结果 | 第129-132页 |
| ·结论 | 第132-134页 |
| 第五章S~3PR 网基本信标的求取 | 第134-174页 |
| ·S~3PR 网的划分 | 第134-136页 |
| ·S~3PR 的资源有向图 | 第136-137页 |
| ·S~3PR 的SMS与资源有向图的关系 | 第137-148页 |
| ·资源有向图确定S~3PR 网的基本信标数目 | 第148-172页 |
| ·资源有向图确定S~3PR 网基本信标数目的算法 | 第148-164页 |
| ·α的确定 | 第148-151页 |
| ·δ的确定 | 第151-156页 |
| ·|Π_E|的确定 | 第156-164页 |
| ·S~3PR 网中|Π|max和|Π_E|max的确定 | 第164-171页 |
| ·确定S~3PR 网中基本信标数目的算法复杂度分析和仿真结果 | 第171-172页 |
| ·结论 | 第172-174页 |
| 第六章求一组基本信标的快速算法 | 第174-182页 |
| ·算法的提出 | 第174-175页 |
| ·算法及其说明 | 第175-177页 |
| ·算法复杂度分析 | 第177-181页 |
| ·算法的验证 | 第181页 |
| ·结论 | 第181-182页 |
| 第七章 ELS~3PR 网中严格极小信标的快速求取算法 | 第182-196页 |
| ·ELS~3PR 网及其性质 | 第182-186页 |
| ·ELS~3PR 网扩展补集矩阵及其性质 | 第186-190页 |
| ·ELS~3PR 网资源有向图及其与SMS的关系 | 第190-193页 |
| ·求取ELS~3PR 网所有严格极小信标的算法 | 第193-195页 |
| ·结论 | 第195-196页 |
| 第八章资源分配系统禁止状态的避免研究 | 第196-204页 |
| ·方法的引出 | 第196-197页 |
| ·死锁避免方法 | 第197-200页 |
| ·例子 | 第200-202页 |
| ·结论 | 第202-204页 |
| 第九章全文总结 | 第204-208页 |
| ·论文的主要工作和研究结论 | 第204-205页 |
| ·本文工作的主要创新点 | 第205-206页 |
| ·有待于进一步研究的问题 | 第206-208页 |
| 参考文献 | 第208-219页 |
| 致谢 | 第219-220页 |
| 在学期间的研究成果 | 第220-224页 |
