| 摘要 | 第1-6页 |
| ABSTRACT | 第6-7页 |
| 致谢 | 第7-11页 |
| 第一章 绪论 | 第11-20页 |
| ·离散事件系统概述 | 第11-17页 |
| ·论文研究的背景、目的 | 第11-12页 |
| ·离散事件系统的研究状况分析 | 第12-17页 |
| ·论文的研究内容、拟解决的关键问题及创新之处 | 第17-20页 |
| ·研究内容 | 第17-18页 |
| ·本论文拟解决的关键问题 | 第18页 |
| ·本论文的创新之处 | 第18-20页 |
| 第二章 Petri网理论基础 | 第20-29页 |
| ·引言 | 第20页 |
| ·Petri网的相关概念 | 第20-24页 |
| ·Petri网的形式化定义 | 第20-21页 |
| ·输入输出变迁和库所 | 第21页 |
| ·变迁激发规则 | 第21-22页 |
| ·Petri网的关联矩阵 | 第22-23页 |
| ·非自主Petri网 | 第23-24页 |
| ·Petri网的性质 | 第24-25页 |
| ·Petri网的分析方法 | 第25-28页 |
| ·可达树分析法 | 第25-26页 |
| ·关联矩阵分析法 | 第26-27页 |
| ·Petri网简化技术 | 第27-28页 |
| ·小结 | 第28-29页 |
| 第三章 基于库所不变量的Petri网控制器设计 | 第29-41页 |
| ·Petri网控制器设计相关概念 | 第29-31页 |
| ·一般线性不等式约束 | 第29-30页 |
| ·混合约束 | 第30页 |
| ·变迁的可控可观性 | 第30-31页 |
| ·结构冲突理论 | 第31页 |
| ·局部设计原则 | 第31页 |
| ·控制器设计算法 | 第31-36页 |
| ·控制器设计算法步骤 | 第32-34页 |
| ·例子 | 第34-35页 |
| ·最大容许性证明 | 第35-36页 |
| ·自动导航车辆协调系统 | 第36-39页 |
| ·小结 | 第39-41页 |
| 第四章 含有不可控变迁的混合约束Petri网控制器设计 | 第41-55页 |
| ·不可控变迁的处理 | 第41-45页 |
| ·C-变换约束转换方法 | 第41-43页 |
| ·Parikh向量的不等式约束转化 | 第43页 |
| ·等价的线性变换转化约束 | 第43-45页 |
| ·约束转换方法的比较 | 第45页 |
| ·控制器设计 | 第45-50页 |
| ·控制器设计算法 | 第46-48页 |
| ·一个简单Petri网例子 | 第48-50页 |
| ·猫和老鼠问题 | 第50-54页 |
| ·小结 | 第54-55页 |
| 第五章 总结和展望 | 第55-58页 |
| ·全文总结 | 第55-56页 |
| ·工作展望 | 第56-58页 |
| 参考文献 | 第58-62页 |
| 攻读硕士学位期间发表的论文 | 第62页 |