基于Petri网的柔性制造系统控制器设计
| 摘要 | 第1-7页 |
| Abstract | 第7-9页 |
| 目录 | 第9-11页 |
| 主要符号对照表 | 第11-14页 |
| 第一章 引言 | 第14-24页 |
| ·研究背景与意义 | 第14-15页 |
| ·Petri网的应用 | 第15-21页 |
| ·柔性制造系统的Petri网建模 | 第15-18页 |
| ·基于Petri网的死锁研究 | 第18-21页 |
| ·完成的主要工作 | 第21-24页 |
| 第二章 Petri网的基本知识 | 第24-42页 |
| ·多集 | 第24页 |
| ·Petri网的基本定义和性质 | 第24-30页 |
| ·结构不变式 | 第30-31页 |
| ·信标和陷阱 | 第31-34页 |
| ·可达图 | 第34-35页 |
| ·网模型、控制器和受控系统 | 第35-36页 |
| ·广义互斥约束 | 第36-37页 |
| ·S~3PR网 | 第37-41页 |
| ·本章小结 | 第41-42页 |
| 第三章 基于MIP的死锁预防策略 | 第42-56页 |
| ·S~4R网 | 第42-44页 |
| ·死锁预防策略 | 第44-50页 |
| ·非最大受控信标 | 第46-48页 |
| ·活性Petri控制器计算 | 第48-49页 |
| ·冗余控制库所计算 | 第49-50页 |
| ·实例分析 | 第50-55页 |
| ·算例1 | 第50-52页 |
| ·算例2 | 第52-55页 |
| ·本章小结 | 第55-56页 |
| 第四章 一类自活的柔性制造系统Petri网模型 | 第56-68页 |
| ·WS~3PR网 | 第56-58页 |
| ·Max'-controlled信标 | 第58-60页 |
| ·自活的WS~3PR网 | 第60-62页 |
| ·实例分析 | 第62-65页 |
| ·讨论 | 第65-66页 |
| ·本章小结 | 第66-68页 |
| 第五章 基于结构转换的活性Petri网控制器设计 | 第68-80页 |
| ·转换S~3PR为WS~3PR | 第68-71页 |
| ·控制器设计 | 第71-73页 |
| ·实例分析 | 第73-76页 |
| ·讨论 | 第76-78页 |
| ·本章小结 | 第78-80页 |
| 第六章 控制库所设计:结构分析方法 | 第80-94页 |
| ·信标控制 | 第80-86页 |
| ·死锁预防策略 | 第86-91页 |
| ·实例分析 | 第91-93页 |
| ·本章小结 | 第93-94页 |
| 第七章 非最大许可行为活性Petri网控制器 | 第94-104页 |
| ·一个简单的WS~3PR网 | 第94-95页 |
| ·无法最优受控信标 | 第95-100页 |
| ·引发矛盾的状态 | 第100-103页 |
| ·本章小结 | 第103-104页 |
| 第八章 总结与展望 | 第104-106页 |
| ·论文总结 | 第104-105页 |
| ·研究展望 | 第105-106页 |
| 致谢 | 第106-108页 |
| 参考文献 | 第108-118页 |
| 在学期间的研究成果 | 第118页 |
