| 摘要 | 第1-4页 |
| Abstract | 第4-7页 |
| 第一章 绪论 | 第7-13页 |
| ·研究背景与意义 | 第7-12页 |
| ·Petri网和自动化制造系统的Petri网模型 | 第7-10页 |
| ·Petri网驱动FMS模型演化的研究现状 | 第10-11页 |
| ·死锁及其控制方法 | 第11-12页 |
| ·本文完成的主要工作 | 第12-13页 |
| 第二章 Petri网基本理论 | 第13-23页 |
| ·基本定义 | 第13-15页 |
| ·结构不变式 | 第15页 |
| ·信标与陷阱 | 第15-16页 |
| ·可达图 | 第16-19页 |
| ·基本信标 | 第19-20页 |
| ·S~3PR网 | 第20-21页 |
| ·小结 | 第21-23页 |
| 第三章 Managed DirectX三维实时渲染技术 | 第23-39页 |
| ·DirectX和Managed DirectX介绍 | 第23-24页 |
| ·3D图形学基础 | 第24-31页 |
| ·3D坐标系统和坐标 | 第24-25页 |
| ·矩阵 | 第25-27页 |
| ·仿射矩阵 | 第27-28页 |
| ·3D变换矩阵 | 第28-31页 |
| ·Direct 3D虚拟图形卡 | 第31-33页 |
| ·Direct 3D图形原理 | 第33-37页 |
| ·世界、观察和投影矩阵 | 第34-35页 |
| ·Mesh类 | 第35-37页 |
| ·小结 | 第37-39页 |
| 第四章 以Petri网作为后台驱动的FMS模型演化设计 | 第39-57页 |
| ·基本思想 | 第39-43页 |
| ·与Petri网对应的FMS模型设计 | 第43-44页 |
| ·FMS模型的设计步骤 | 第43-44页 |
| ·闲置库所和资源库所对应的3D模型 | 第44页 |
| ·以Petri网作为后台驱动的FMS虚拟模型演化设计 | 第44-54页 |
| ·问题分析 | 第45-46页 |
| ·FMS_Modle.cs类介绍 | 第46-52页 |
| ·Petri.cs类介绍 | 第52-53页 |
| ·Program.cs类介绍 | 第53-54页 |
| ·小结 | 第54-57页 |
| 第五章 Petri网死锁控制策略的可视化 | 第57-63页 |
| ·图形图像基本知识 | 第57-58页 |
| ·Petri网基本状态演化可视化 | 第58-61页 |
| ·Petri网死锁控制策略可视化 | 第61-62页 |
| ·基于信标的死锁控制策略 | 第61-62页 |
| ·控制器的加载和可视化 | 第62页 |
| ·小结 | 第62-63页 |
| 第六章 实例分析 | 第63-75页 |
| ·单顺序进程 | 第63-65页 |
| ·多顺序进程 | 第65-74页 |
| ·小结 | 第74-75页 |
| 第七章 总结与展望 | 第75-77页 |
| ·论文总结 | 第75-76页 |
| ·研究展望 | 第76-77页 |
| 致谢 | 第77-79页 |
| 参考文献 | 第79-83页 |
| 附录A PNT文件 | 第83-85页 |
