| 摘要 | 第4-6页 |
| Abstract | 第6-7页 |
| 第一章 绪论与综述 | 第10-20页 |
| 1.1 离散事件系统概述 | 第10-12页 |
| 1.2 离散事件系统监控理论概述 | 第12-13页 |
| 1.3 含有不可控变迁的允许标识判据概述 | 第13-16页 |
| 1.4 含有不可控变迁的约束转换研究概述 | 第16-18页 |
| 1.5 论文结构 | 第18-20页 |
| 第二章 Petri网理论基础 | 第20-28页 |
| 2.1 普通Petri网 | 第20-23页 |
| 2.1.1 普通Petri网的定义 | 第20-22页 |
| 2.1.2 变迁的激发规则 | 第22-23页 |
| 2.2 Petri网的性质 | 第23-24页 |
| 2.3 Petri网的分析方法 | 第24-27页 |
| 2.3.1 可达图分析法 | 第24页 |
| 2.3.2 关联矩阵分析法 | 第24-25页 |
| 2.3.3 基于图论的分析方法 | 第25-27页 |
| 2.4 小结 | 第27-28页 |
| 第三章 基于库所等效权重的不可控影响子网为FSFCF网的约束转换 | 第28-48页 |
| 3.1 引言 | 第28页 |
| 3.2 含不可控变迁的广义互斥约束的约束转换概述 | 第28-31页 |
| 3.3 不可控影响子网为FSFCF网的约束转换算法 | 第31-44页 |
| 3.3.1 相关概念、定义、性质 | 第31-42页 |
| 3.3.2 约束转换算法 | 第42-44页 |
| 3.4 示例 | 第44-47页 |
| 3.5 小结 | 第47-48页 |
| 第四章 基于最大增量函数的约束转换 | 第48-66页 |
| 4.1 引言 | 第48页 |
| 4.2 基于最大增量函数的约束转换算法 | 第48-58页 |
| 4.2.1 相关定义 | 第49-52页 |
| 4.2.2 一些特殊结构的最大增量函数的分析和计算 | 第52-56页 |
| 4.2.3 基于最大增量函数的约束转换算法 | 第56-58页 |
| 4.3 示例 | 第58-64页 |
| 4.4 小结 | 第64-66页 |
| 第五章 总结与展望 | 第66-70页 |
| 5.1 总结 | 第66-67页 |
| 5.2 展望 | 第67-70页 |
| 参考文献 | 第70-76页 |
| 致谢 | 第76-78页 |
| 作者简历 | 第78-80页 |
| 发表文章目录 | 第80页 |
