可重构Petri网逻辑控制器开发平台的设计与实现
| 摘要 | 第1-5页 |
| Abstract | 第5-8页 |
| 第一章 绪论 | 第8-10页 |
| ·背景及现状 | 第8页 |
| ·主要工作及意义 | 第8-9页 |
| ·本文内容安排 | 第9-10页 |
| 第二章 Petri网与改进的网重写系统 | 第10-19页 |
| ·Petri网 | 第10-12页 |
| ·Petri网简介 | 第10-11页 |
| ·Petri网的行为属性 | 第11-12页 |
| ·改进的网重写系统 | 第12-19页 |
| ·改进的网重写系统定义 | 第12-15页 |
| ·基本模块类型 | 第15-18页 |
| ·主要的理论结果 | 第18-19页 |
| 第三章 软件总体设计及关键技术分析 | 第19-23页 |
| ·总体框架设计 | 第19页 |
| ·软件功能设计 | 第19-21页 |
| ·Java技术 | 第21页 |
| ·Petri网面向对象描述 | 第21页 |
| ·Petri网模型存取技术 | 第21-22页 |
| ·Petri网分析技术 | 第22页 |
| ·小结 | 第22-23页 |
| 第四章 软件的详细设计与实现 | 第23-49页 |
| ·Petri网编辑与仿真模块实现 | 第23-30页 |
| ·Petri网模型类图 | 第23-24页 |
| ·编辑模块的设计与实现 | 第24-25页 |
| ·XML技术的应用 | 第25-27页 |
| ·逻辑控制解释功能 | 第27-28页 |
| ·仿真模块的实现 | 第28-30页 |
| ·Petri网模型行为属性分析模块实现 | 第30-38页 |
| ·新型有限可达树 | 第30-33页 |
| ·基于新型有限可达树的Petri网分析算法 | 第33-38页 |
| ·Petri网控制器综合与重构功能实现 | 第38-47页 |
| ·分组管理 | 第38-39页 |
| ·Petri网类型判断 | 第39-44页 |
| ·综合与重构的实现 | 第44-46页 |
| ·资源库所分裂与融合 | 第46-47页 |
| ·数据库访问模块的实现 | 第47-48页 |
| ·数据库设计与实现 | 第47-48页 |
| ·小结 | 第48-49页 |
| 第五章 软件测试实验 | 第49-57页 |
| ·Petri网行为属性分析实验 | 第49-51页 |
| ·Petri控制器仿真实验 | 第51-52页 |
| ·可重构控制器案例 | 第52-56页 |
| ·可重构制造系统例子 | 第53页 |
| ·PN控制器综合 | 第53-54页 |
| ·PN控制器重构 | 第54-56页 |
| ·小结 | 第56-57页 |
| 第六章 总结与展望 | 第57-58页 |
| 致谢 | 第58-59页 |
| 作者在学期间发表的论文清单 | 第59-60页 |
| 参考文献 | 第60页 |
