| 摘要 | 第5-6页 |
| ABSTRACT | 第6-7页 |
| 符号对照表 | 第10-12页 |
| 缩略语对照表 | 第12-16页 |
| 第一章 绪论 | 第16-20页 |
| 1.1 课题研究背景 | 第16页 |
| 1.2 国内外研究现状 | 第16-17页 |
| 1.3 论文组织结构 | 第17-20页 |
| 第二章 图论的基本理论 | 第20-30页 |
| 2.1 笛卡尔集和无序集 | 第20页 |
| 2.2 布尔矩阵及其运算 | 第20页 |
| 2.3 图的基本概念 | 第20-21页 |
| 2.4 图的图形表示 | 第21页 |
| 2.5 一些图的种类 | 第21-22页 |
| 2.6 图的子图 | 第22页 |
| 2.7 路与连通 | 第22-23页 |
| 2.8 图的矩阵方法 | 第23-24页 |
| 2.9 计算有向图强分图的方法 | 第24-29页 |
| 2.9.1 利用可达矩阵求强分图 | 第24-26页 |
| 2.9.2 Tarjan算法求取强分图 | 第26-28页 |
| 2.9.3 Tarjan算法的步骤 | 第28-29页 |
| 2.9.4 Tarjan算法的复杂度分析 | 第29页 |
| 2.10 小结 | 第29-30页 |
| 第三章 Petri网的基本知识 | 第30-38页 |
| 3.1 Petri网的定义 | 第30-31页 |
| 3.2 结构不变式 | 第31-32页 |
| 3.3 信标和陷阱 | 第32页 |
| 3.4 Petri网的基本信标理论 | 第32-33页 |
| 3.5 Petri网的子类 | 第33-37页 |
| 3.5.1 状态机 | 第33页 |
| 3.5.2 标识图 | 第33-34页 |
| 3.5.3 自由选择网 | 第34页 |
| 3.5.4 S~3PR网 | 第34-36页 |
| 3.5.5 S~3PR网的子类—LS~3PR网 | 第36-37页 |
| 3.6 小结 | 第37-38页 |
| 第四章 S~3PR网资源有向图及其基本信标数目的求取 | 第38-46页 |
| 4.1 S~3PR网的信标补集 | 第38页 |
| 4.2 S~3PR的补集矩阵 | 第38-39页 |
| 4.3 S~3PR的资源有向图 | 第39-41页 |
| 4.4 S~3PR网的SMS与资源有向图的关系 | 第41-42页 |
| 4.5 资源有向图法确定S~3PR网基本信标数目的算法 | 第42-45页 |
| 4.5.1 α 的确定 | 第42-43页 |
| 4.5.2 δ 的确定 | 第43-44页 |
| 4.5.3 |∏_E|的确定 | 第44-45页 |
| 4.6 小结 | 第45-46页 |
| 第五章 确定S~3PR网基本信标数目算法的Matlab实现 | 第46-60页 |
| 5.1 Matlab简介 | 第46页 |
| 5.2 算法实现的编程思路 | 第46-47页 |
| 5.3 算法实现的组成模块 | 第47-57页 |
| 5.4 算法验证 | 第57-58页 |
| 5.5 小结 | 第58-60页 |
| 第六章 S~3PR网的进一步研究 | 第60-76页 |
| 6.1 特例 | 第60-75页 |
| 6.1.1 特例Ⅰ | 第60-67页 |
| 6.1.2 特例Ⅱ | 第67-75页 |
| 6.2 小结 | 第75-76页 |
| 第七章 全文总结 | 第76-78页 |
| 附录A | 第78-82页 |
| 附录B | 第82-84页 |
| 附录C | 第84-86页 |
| 附录D | 第86-90页 |
| 附录E | 第90-94页 |
| 参考文献 | 第94-96页 |
| 致谢 | 第96-98页 |
| 作者简介 | 第98-99页 |
