离散事件系统的两种Petri网控制器设计方法的研究

摘要	第1-5页
Abstract	第5-9页
第一章 绪论	第9-17页
·离散事件系统概述	第9-10页
·离散事件系统监控理论概述	第10-15页
·逻辑型控制器的实现方法和缺陷	第12-13页
·结构型控制器的实现方法和缺陷	第13-15页
·本文的主要研究内容	第15-17页
第二章 Petri网基础	第17-28页
·引言	第17-19页
·Petri网的定义	第19-21页
·Petri网的性质	第21-23页
·几类扩充的Petri网	第23-24页
·有色Petri网的基本定义	第24-25页
·受控Petri网的基本定义	第25-27页
·小结	第27-28页
第三章 可并发的有色Petri网的控制器设计方法	第28-37页
·引言	第28-30页
·可并发的有色Petri网的控制器的实现	第30-34页
·观测器的实现	第30-32页
·控制器的实现	第32-34页
·控制器算法	第34页
·例子	第34-36页
·结论	第36-37页
第四章 LIP方法的扩展	第37-51页
·引言	第37页
·基于LIP方法的控制器综合	第37-43页
·LIP方法的基本描述	第38-39页
·LIP方法的缺陷	第39-40页
·ELIP方法的扩展	第40-43页
·LIP方法的扩展	第43-49页
·扩展LIP方法的理论证明	第43-48页
·扩展LIP方法的算法	第48-49页
·例子	第49-50页
·小结	第50-51页
第五章 总结与展望	第51-53页
参考文献	第53-57页
致谢	第57页