| 第一章 绪论 | 第1-19页 |
| ·离散事件系统 | 第10-12页 |
| ·离散事件系统的定义 | 第10-11页 |
| ·离散事件系统研究问题 | 第11页 |
| ·离散事件系统监控理论 | 第11-12页 |
| ·基于Petri网离散事件系统控制器综合的理论的概述 | 第12-17页 |
| ·事件反馈控制 | 第13页 |
| ·状态反馈控制 | 第13-14页 |
| ·线性代数方法 | 第14-16页 |
| ·基于路径方法 | 第16页 |
| ·保证活性和防止死锁的控制 | 第16-17页 |
| ·论文的主要研究内容 | 第17-19页 |
| 第二章 PETRI网的理论基础 | 第19-26页 |
| ·前言 | 第19页 |
| ·Petri网基本概念 | 第19-21页 |
| ·Petri网的性质 | 第21-23页 |
| ·Petri网分析方法 | 第23-25页 |
| ·标识图方法 | 第23页 |
| ·可达树分析法 | 第23-24页 |
| ·关联矩阵方法 | 第24-25页 |
| ·简化方法 | 第25页 |
| ·小结 | 第25-26页 |
| 第三章 基于先融合技术的PETRI网反馈控制器的设计 | 第26-34页 |
| ·引言 | 第26-27页 |
| ·标识总量保持网简化技术 | 第27-29页 |
| ·控制器的设计 | 第29-30页 |
| ·自动导航车辆(AGV)协调系统实例 | 第30-32页 |
| ·小结 | 第32-34页 |
| 第四章 基于后融合技术的PETRI网反馈控制器设计 | 第34-42页 |
| ·引言 | 第34页 |
| ·方法的描述 | 第34-37页 |
| ·自动导航车辆(AGV)协调系统实例 | 第37-40页 |
| ·小结 | 第40-42页 |
| 第五章 基于局部关联矩阵的PETRI网反馈控制器的设计 | 第42-53页 |
| ·引言 | 第42页 |
| ·Petri网控制器的设计 | 第42-48页 |
| ·应用例子 | 第48-51页 |
| ·小结 | 第51-53页 |
| 第六章 关于标识向量和PARIKH向量约束的PETRI网反馈控制器设计 | 第53-64页 |
| ·引言 | 第53-54页 |
| ·控制器的设计 | 第54-60页 |
| ·只包括标识向量的不等式约束 | 第54-55页 |
| ·包括标识向量和Parikh向量的不等式约束 | 第55-57页 |
| ·针对包括标识向量与Parikh向量的不等式约束的控制器的设计 | 第57-60页 |
| ·应用例子 | 第60-63页 |
| ·小结 | 第63-64页 |
| 第七章 带有不可控变迁混合不等式约束的PETRI网控制器综合 | 第64-73页 |
| ·前言 | 第64-65页 |
| ·Moody和Iordache的方法 | 第65-66页 |
| ·只包括标识向量的不等式约束 | 第65页 |
| ·包括标识向量和Parikh向量的不等式约束 | 第65-66页 |
| ·不可控变迁及其解决方法 | 第66页 |
| ·关于Parikh向量不等式约束及不可控问题 | 第66-71页 |
| ·关于Parikh向量不等式约束 | 第66-69页 |
| ·含不可控变迁的Parikh约束 | 第69-71页 |
| ·实例 | 第71-72页 |
| ·小结 | 第72-73页 |
| 第八章 基于网络展开法验证PETRI网活性 | 第73-97页 |
| ·前言 | 第73-75页 |
| ·基本定义与性质 | 第75-90页 |
| ·分进程 | 第75-78页 |
| ·配制和割 | 第78-80页 |
| ·割断变迁和前缀 | 第80-84页 |
| ·基本配制 | 第84页 |
| ·非死锁配制 | 第84-85页 |
| ·死锁配制 | 第85页 |
| ·配制之间可达关系 | 第85-90页 |
| ·He的理论结果 | 第90-92页 |
| ·主要理论结果 | 第92-96页 |
| ·小结 | 第96-97页 |
| 第九章 基于展开法设计保证有界PETRI网是活的控制器 | 第97-106页 |
| ·前言 | 第97-98页 |
| ·活配制和非活配制 | 第98-102页 |
| ·活配制和非活配制定义 | 第98-99页 |
| ·活配和非活配制的性质 | 第99-102页 |
| ·验证Petri网可控活性 | 第102-104页 |
| ·保证Petri网是活的控制器的设计 | 第104-105页 |
| ·小结 | 第105-106页 |
| 第十章 全文总结 | 第106-108页 |
| 参考文献 | 第108-117页 |
| 致谢 | 第117-118页 |
| 攻读博士学位期间发表和录用的论文 | 第118-119页 |
