| 摘要 | 第4-6页 |
| Abstract | 第6-8页 |
| 1 绪论 | 第12-27页 |
| 1.1 研究的目的与意义 | 第12-13页 |
| 1.2 国内外研究现状 | 第13-24页 |
| 1.3 本文主要工作 | 第24-25页 |
| 1.4 章节安排 | 第25-27页 |
| 2 基于乘积关联矩阵的有界性与守恒性 | 第27-53页 |
| 2.1 基本概念与性质 | 第27-34页 |
| 2.2 乘积关联矩阵的伴随矩阵判断Petri网的性质 | 第34-40页 |
| 2.3 基于乘积关联矩阵的子矩阵分析网的结构性质 | 第40-48页 |
| 2.4 示例分析 | 第48-52页 |
| 2.5 本章小结 | 第52-53页 |
| 3 赋时连续Petri网的弱性质 | 第53-69页 |
| 3.1 基本概念与性质 | 第53-59页 |
| 3.2 基于等价库所的化简技巧 | 第59-61页 |
| 3.3 基于特征值的等价动态行为分析 | 第61-63页 |
| 3.4 示例分析 | 第63-68页 |
| 3.5 本章小结 | 第68-69页 |
| 4 弱有界性与弱守恒性的反馈控制 | 第69-87页 |
| 4.1 基本概念及定义 | 第70-71页 |
| 4.2 反馈控制分析 | 第71-74页 |
| 4.3 对矩阵K的求解 | 第74-78页 |
| 4.4 示例分析 | 第78-86页 |
| 4.5 本章小结 | 第86-87页 |
| 5 无界Petri网的辨识 | 第87-105页 |
| 5.1 基本概念与性质 | 第87-89页 |
| 5.2 修正覆盖图及其生成算法 | 第89-94页 |
| 5.3 节点的类型与划分 | 第94-96页 |
| 5.4 基于无标记MCG合成Petri网系统 | 第96-103页 |
| 5.5 复杂性分析 | 第103-104页 |
| 5.6 本章小结 | 第104-105页 |
| 6 无λ-标签无界Petri网辨识 | 第105-124页 |
| 6.1 标签的定义与分类 | 第105-108页 |
| 6.2 覆盖图生成算法及其性质 | 第108-113页 |
| 6.3 一个库所无界Petri网的辨识 | 第113-122页 |
| 6.4 示例分析 | 第122-123页 |
| 6.5 本章小结 | 第123-124页 |
| 7 结论与展望 | 第124-127页 |
| 7.1 论文总结 | 第124-125页 |
| 7.2 创新点 | 第125页 |
| 7.3 研究展望 | 第125-127页 |
| 致谢 | 第127-128页 |
| 参考文献 | 第128-138页 |
| 附录1 攻读博士学位期间发表的学术论文 | 第138-139页 |
| 附录2 开发表的学术论文与博士学位论文的关系 | 第139-140页 |
| 附录3 攻读博士学位期间参加的科研项目 | 第140页 |