基于Petri网的柔性制造系统活性控制器的设计

摘要	第1-4页
ABSTRACT	第4-6页
主要符号对照表	第6-9页
第一章 绪论	第9-16页
·研究背景与意义	第9-14页
·本文的主要内容	第14-16页
第二章 Petri网的基本知识	第16-27页
·Petri网的基本理论	第16-19页
·Petri网变迁的发射规则	第19-21页
·信标和陷阱的定义和性质	第21-23页
·Petri网中一类子网模型S~3PR网的简介	第23-26页
·小结	第26-27页
第三章 基于矩阵操作求取信标的算法	第27-38页
·最大空信标的算法	第27-32页
·传统的信标S计算方法	第27-28页
·基于MIP的死锁检测方法	第28-29页
·基于矩阵操作求取最大空信标的算法	第29-32页
·从最大被清空信标提取严格极小信标的求取算法	第32-36页
·Li Z W提出的求解严格极小信标算法	第32-33页
·用矩阵操作求取严格极小信标	第33-36页
·算法在例子中的应用	第36-37页
·小结	第37-38页
第四章 基于矩阵操作和基本信标的死锁控制策略	第38-54页
·Petri网基本信标理论	第38-41页
·Ezpeleta死锁预防算法的介绍	第41-44页
·基于矩阵操作和基本信标理论的死锁控制策略	第44-46页
·算法在FMS中的应用	第46-53页
·对FMS进行建模	第46-49页
·Ezpeleta控制策略	第49-51页
·本文提出的控制策略	第51-53页
·本章小结	第53-54页
第五章 总结与展望	第54-56页
参考文献	第56-58页
在校期间发表的论文与科研成果	第58-59页