| 中文摘要 | 第3-5页 |
| 英文摘要 | 第5页 |
| 第一章 绪论 | 第11-18页 |
| 1．1 离散事件系统概述 | 第11-12页 |
| 1．2 离散事件系统监控理论概述 | 第12-16页 |
| 1．2．1 控制器综合 | 第12-14页 |
| 1．2．2 离散事件系统的Petri网控制器综合理论概述 | 第14-16页 |
| 1．3 本文的主要研究内容 | 第16-18页 |
| 第二章 Petri网理论基础 | 第18-26页 |
| 2．1 引言 | 第18-20页 |
| 2．2 Petri网的定义 | 第20-22页 |
| 2．3 Petri网的性质 | 第22-23页 |
| 2．4 几类特殊的Petri网 | 第23-25页 |
| 2．5 小节 | 第25-26页 |
| 第三章 基于有限容量库所的离散事件系统控制器综合方法 | 第26-52页 |
| 3．1 引言 | 第26-28页 |
| 3．2 互补库所转化技术 | 第28-29页 |
| 3．3 基于有限容量库所的DES控制器综合 | 第29-41页 |
| 3．3．1 最简单情况 | 第29-33页 |
| 3．3．2 “大于等于”形式的约束 | 第33-35页 |
| 3．3．3 约束系数含有“—1”的情况 | 第35-38页 |
| 3．3．4 最一般形式的约束 | 第38-41页 |
| 3．4 最大容许控制的证明 | 第41-43页 |
| 3．5 实例 | 第43-49页 |
| 3．5．1 猫和老鼠问题 | 第44-46页 |
| 3．5．2 自动导航车辆（AGV）协调系统 | 第46-49页 |
| 3．6 讨论 | 第49-50页 |
| 3．7 小节 | 第50-52页 |
| 第四章 具有混合约束的Petri网控制器的FCP综合方法 | 第52-61页 |
| 4．1 引言 | 第52-53页 |
| 4．2 相关的研究工作与结论 | 第53-55页 |
| 4．3 实现混合库所和变迁约束的FCP算法 | 第55-58页 |
| 4．3．1 算法 | 第55-57页 |
| 4．3．2 讨论 | 第57-58页 |
| 4．4 示例 | 第58-60页 |
| 4．4．1 例子1 | 第59页 |
| 4．4．2 例子2 | 第59-60页 |
| 4．5 小节 | 第60-61页 |
| 第五章 离散事件系统控制器综合的加权抑制弧方法 | 第61-79页 |
| 5．1 引言 | 第61-64页 |
| 5．1．1 加权抑制弧 | 第61页 |
| 5．1．2 基于抑制弧的DES监控方法的基本原理 | 第61-62页 |
| 5．1．3 基于抑制弧的DES监控理论概述 | 第62-64页 |
| 5．2 基于加权抑制弧的DES控制器综合 | 第64-70页 |
| 5．2．1 控制器综合方法 | 第64-66页 |
| 5．2．2 一个制造系统的例子 | 第66-70页 |
| 5．3 具有不可控变迁的广义状态机器的监控器设计 | 第70-77页 |
| 5．3．1 弱禁止状态条件的计算 | 第71-73页 |
| 5．3．2 监控器设计 | 第73-76页 |
| 5．3．3 例子 | 第76-77页 |
| 5．4 小节 | 第77-79页 |
| 第六章 离散事件系统控制器综合的加权使能弧方法 | 第79-87页 |
| 6．1 引言 | 第79-80页 |
| 6．2 使能弧Petri网 | 第80-83页 |
| 6．3 用加权使能弧综合DES的控制器 | 第83-84页 |
| 6．4 例子 | 第84-85页 |
| 6．5 小节 | 第85-87页 |
| 第七章 离散事件系统的混合型控制器综合方法 | 第87-99页 |
| 7．1 引言 | 第87-88页 |
| 7．2 受控Petri网和控制约束的基本概念 | 第88-89页 |
| 7．3 影响路径和监视器的构建 | 第89-96页 |
| 7．3．1 影响路径的构建 | 第89-93页 |
| 7．3．2 监视器的构建 | 第93-96页 |
| 7．4 控制方法 | 第96-98页 |
| 7．5 小节 | 第98-99页 |
| 第八章 离散事件系统或逻辑的有色Petri网控制 | 第99-110页 |
| 8．1 引言 | 第99-100页 |
| 8．2 有色Petri网 | 第100-102页 |
| 8．2．1 有色Petri网的定义 | 第100-101页 |
| 8．2．2 有色Petri网在DES监控理论中的应用 | 第101-102页 |
| 8．3 猫和老鼠问题的有色Petri网模型 | 第102-104页 |
| 8．3．1 猫鼠问题的有色Petri网模型描述 | 第102-103页 |
| 8．3．2 控制目标的实现 | 第103-104页 |
| 8．4 或逻辑的有色Petri网控制 | 第104-107页 |
| 8．4．1 有色监视器库所的构建 | 第104-105页 |
| 8．4．2 警戒函数的定义 | 第105-107页 |
| 8．5 例子 | 第107-108页 |
| 8．6 小节 | 第108-110页 |
| 第九章 离散事件系统的分级控制 | 第110-117页 |
| 9．1 引言 | 第110-111页 |
| 9．2 分级控制方法 | 第111-115页 |
| 9．2．1 底层结构 | 第111-112页 |
| 9．2．2 上层结构 | 第112-115页 |
| 9．3 一个例子 | 第115-116页 |
| 9．4 小节 | 第116-117页 |
| 第十章 标识图的约束转化方法 | 第117-123页 |
| 10．1 引言 | 第117页 |
| 10．2 标识图的约束转化方法 | 第117-120页 |
| 10．2．1 容许约束 | 第118页 |
| 10．2．2 转化方法 | 第118-120页 |
| 10．3 示例 | 第120-122页 |
| 10．4 小节 | 第122-123页 |
| 第十一章 总结与展望 | 第123-127页 |
| 参考文献 | 第127-135页 |
| 致谢 | 第135-138页 |
| 作者在攻博期间发表／完成的论文 | 第138-141页 |
| 作者简介 | 第141页 |
