基于区域理论的Petri网活性控制器优化设计

摘要	第1-4页
Abstract	第4-7页
第一章 绪论	第7-13页
·研究背景与意义	第7-9页
·Petri网应用现状	第9-10页
·FMS系统的死锁研究	第10-11页
·本文完成的主要工作	第11-13页
第二章 Petri网基本理论	第13-23页
·自动制造系统的Petri网建模	第13-15页
·FMS系统的建模	第13-14页
·多进程系统的模型	第14-15页
·Petri网的基本理论	第15-19页
·Petri网的基本性质	第19-21页
·本章小结	第21-23页
第三章 Petri网的基本子类	第23-31页
·基本子类的定义	第23-24页
·S~3PR网模型	第24-28页
·S~4PR网模型	第28-30页
·小结	第30-31页
第四章 区域理论基础	第31-39页
·区域理论介绍	第31-33页
·控制器的设计	第33-38页
·小结	第38-39页
第五章 基于区域法的死锁预防策略	第39-57页
·死锁预防策略	第39-45页
·消去法	第39-41页
·覆盖法	第41-45页
·算法描述	第45-47页
·应用实例	第47-55页
·一个S~3PR网应用实例	第47-52页
·一个S~4PR网应用实例	第52-55页
·小结	第55-57页
第六章 总结与展望	第57-59页
·论文总结	第57页
·前景展望	第57-59页
致谢	第59-61页
参考文献	第61-65页