Petri网死锁迭代控制中若干问题研究
| 摘要 | 第1-4页 |
| Abstract | 第4-7页 |
| 第一章 绪论 | 第7-13页 |
| ·研究背景与意义 | 第7-11页 |
| ·Petri网简介 | 第7-8页 |
| ·死锁及其控制方法 | 第8-11页 |
| ·本文完成的主要工作 | 第11-13页 |
| 第二章 Petri网基本理论 | 第13-19页 |
| ·基本定义 | 第13-15页 |
| ·结构不变式 | 第15页 |
| ·信标与陷阱 | 第15-16页 |
| ·广义互斥约束 | 第16-19页 |
| 第三章 基于全划分和库所约束的极小信标求解法 | 第19-39页 |
| ·全划分 | 第19-21页 |
| ·基本定义和理论 | 第21-25页 |
| ·信标求解中的基本理论 | 第21-23页 |
| ·极小信标求解中的重要理论 | 第23-25页 |
| ·求解极小信标的算法 | 第25-32页 |
| ·局部划分的极小信标求解算法 | 第26-30页 |
| ·全局划分的极小信标求解算法 | 第30-31页 |
| ·算法的正确性 | 第31-32页 |
| ·算法的复杂度 | 第32页 |
| ·改进的局部划分的极小信标求解算法 | 第32-36页 |
| ·改进的局部划分的极小信标求解算法 | 第32-35页 |
| ·LPMSE和MLPMSE的比较 | 第35-36页 |
| ·求一个新极小信标 | 第36页 |
| ·求一个标识下所有清空的极小信标 | 第36页 |
| ·用C++程序实现MLPMSE等算法 | 第36页 |
| ·小结 | 第36-39页 |
| 第四章 联合信标和标识生成的迭代控制算法 | 第39-67页 |
| ·关键标识和信标选择 | 第39-42页 |
| ·网的转化和迭代控制 | 第42-52页 |
| ·变迁分解 | 第43页 |
| ·一般网转化为PT-普通网 | 第43-44页 |
| ·网的返回转化 | 第44页 |
| ·等价性 | 第44-50页 |
| ·基于网转化的迭代控制 | 第50-52页 |
| ·冗余控制库所 | 第52-54页 |
| ·死锁检测 | 第54页 |
| ·基于集合覆盖的迭代控制算法 | 第54-58页 |
| ·第一种迭代控制算法 | 第55页 |
| ·第二种迭代控制算法 | 第55-57页 |
| ·第三种迭代控制算法 | 第57-58页 |
| ·基于网转化和集合覆盖的信标迭代控制算法 | 第58-65页 |
| ·三种迭代控制算法存在的问题 | 第58-59页 |
| ·基于网转化和集合覆盖的信标迭代控制算法 | 第59-60页 |
| ·实例 | 第60-64页 |
| ·用C++程序实现TSC-ISC等算法 | 第64-65页 |
| ·小结 | 第65-67页 |
| 第五章 总结 | 第67-71页 |
| 致谢 | 第71-73页 |
| 参考文献 | 第73-77页 |
| 附录A PNT文件 | 第77-79页 |
