| 致谢 | 第1-5页 |
| 摘要 | 第5-7页 |
| Abstract | 第7-9页 |
| 目次 | 第9-10页 |
| 第一章 绪论 | 第10-15页 |
| ·本文的研究背景及意义 | 第10-12页 |
| ·国内外研究现状 | 第12-13页 |
| ·本文的研究内容和组织结构 | 第13-15页 |
| 第二章 Petri网基础理论 | 第15-22页 |
| ·Petri网的基本概念 | 第15-18页 |
| ·S~4PR网的定义及性质 | 第18-21页 |
| ·本章小结 | 第21-22页 |
| 第三章 S~4PR网的严格极小信标计算方法 | 第22-40页 |
| ·C-R路径及C-R图的定义 | 第22-29页 |
| ·严格极小信标的计算 | 第29-35页 |
| ·应用实例 | 第35-39页 |
| ·本章小结 | 第39-40页 |
| 第四章 S~4PR网活性控制器的优化方法 | 第40-51页 |
| ·监控器的定义 | 第40-45页 |
| ·活性S~4PR网控制器的优化方法 | 第45-50页 |
| ·本章小结 | 第50-51页 |
| 第五章 一个柔性制造系统Petri网模型死锁预防实例 | 第51-64页 |
| ·严格极小信标的计算 | 第51-58页 |
| ·活性控制器的优化 | 第58-62页 |
| ·比较与讨论 | 第62-63页 |
| ·本章小结 | 第63-64页 |
| 第六章 总结与展望 | 第64-66页 |
| ·工作总结 | 第64页 |
| ·展望 | 第64-66页 |
| 参考文献 | 第66-69页 |
| 附录 活性S~4PR控制器优化方法代码(Lingo软件实现) | 第69-73页 |
| 作者简历及在读硕期间取得的成果 | 第73页 |