| 摘要 | 第1-6页 |
| Abstract | 第6-12页 |
| 1 引言 | 第12-18页 |
| ·选题背景及意义 | 第12-13页 |
| ·DES监控理论概述 | 第13-14页 |
| ·国内外研究现状 | 第14-16页 |
| ·研究动机和主要工作 | 第16页 |
| ·本文的组织结构 | 第16-18页 |
| 2 基本知识 | 第18-27页 |
| ·Petri网 | 第18-24页 |
| ·离散事件系统监控理论 | 第24-26页 |
| ·小结 | 第26-27页 |
| 3 具有混合线性约束的DES控制器设计 | 第27-46页 |
| ·有的一些研究工作及结果 | 第27-30页 |
| ·不含不可控变迁的系统在混合线性约束下的控制器设计 | 第30-33页 |
| ·含有不可控变迁的系统在混合线性约束下的控制器设计 | 第33-42页 |
| ·无死锁的Petri网控制器设计 | 第42-45页 |
| ·小结 | 第45-46页 |
| 4 含有不可控变迁的DES次最大允许Petri网控制器设计 | 第46-55页 |
| ·颜色Petri网及加权抑止弧Petri网的相关定义 | 第46-47页 |
| ·得到次最大允许控制器条件分析 | 第47-48页 |
| ·控制器设计 | 第48-54页 |
| ·小结 | 第54-55页 |
| 5 任意禁止状态Petri网控制器设计 | 第55-61页 |
| ·一些相关结论 | 第55-56页 |
| ·弱禁止状态标识集的计算 | 第56-57页 |
| ·控制器综合算法 | 第57-60页 |
| ·小结 | 第60-61页 |
| 6 结束语 | 第61-63页 |
| ·本文的主要工作 | 第61-62页 |
| ·进一步的研究 | 第62-63页 |
| 致谢 | 第63-64页 |
| 参考文献 | 第64-68页 |
| 作者在读期间的研究成果 | 第68页 |
