基于时序Petri网的DEDS控制器综合

摘要	第1-7页
Abstract	第7-11页
1 绪论	第11-15页
·引言	第11-12页
·国内外研究现状	第12-14页
·论文的主要研究内容	第14-15页
2、 PETRI网与转移系统	第15-28页
·Petri网概述	第15-16页
·Petri网的基本概念	第16-19页
·Petri网的基本分析方法	第19-20页
·Petri网与转移系统	第20-28页
3、时序逻辑与时序PETRI网	第28-38页
·线性时序逻辑	第28-30页
·时序Petri网	第30-32页
·有界时序Petri网的语言表达能力	第32-38页
4、基于PETRI网的DEDS控制器综合	第38-48页
·离散事件动态系统概述	第38-39页
·DEDS监控理论与Petri网	第39-41页
·基于Petri网的DEDS控制综合问题研究	第41-48页
5、基于时序PETRI网的DEDS控制器综合	第48-60页
·当前时序Petri网的研究	第48页
·基于时序Petri网的DEDS控制综合问题研究	第48-52页
·基于时序Petri网的DEDS控制综合算法	第52-54页
·实例	第54-60页
6、结束语	第60-63页
·本文的工作	第60-61页
·后续研究课题展望	第61-63页
致谢	第63-64页
参考文献	第64-69页
在读期间的学习经历与研究成果	第69-70页
中文详细摘要	第70-83页