| 摘要 | 第1-5页 |
| Abstract | 第5-8页 |
| 1 绪论 | 第8-11页 |
| ·选题的背景和意义 | 第8-9页 |
| ·Petri网分析软件工具的现状 | 第9-10页 |
| ·国外随机 Petri网相关软件的情况 | 第9-10页 |
| ·国内随机 Petri网相关软件的情况 | 第10页 |
| ·本文研究工作 | 第10-11页 |
| 2 理论基础 | 第11-24页 |
| ·Petri网的基本理论 | 第11-15页 |
| ·Petri网的基本概念 | 第11-13页 |
| ·Petri网的基本性质 | 第13-14页 |
| ·Petri网的基本分析方法 | 第14-15页 |
| ·XML技术 | 第15-19页 |
| ·XML简介 | 第15-16页 |
| ·XML文档结构 | 第16页 |
| ·XML的特点 | 第16-17页 |
| ·用 JAXP实现 XML文档的解析 | 第17-19页 |
| ·PNML基本知识 | 第19-24页 |
| ·PNML的基本概念 | 第19-22页 |
| ·PNML类型定义 | 第22-24页 |
| 3 Petri网工具的设计 | 第24-28页 |
| ·设计思路 | 第24-25页 |
| ·软件工具的总体框图及功能描述 | 第25-27页 |
| ·系统应用环境与开发语言 | 第27-28页 |
| 4 Petri网软件工具的实现 | 第28-52页 |
| ·GUI模块的实现 | 第28-29页 |
| ·Data模块 | 第29-31页 |
| ·元素对象子模块 | 第29-31页 |
| ·语法规则子模块 | 第31页 |
| ·文档管理子模块 | 第31页 |
| ·关键技术问题的解决方案 | 第31-52页 |
| ·元素组件的操作 | 第31-37页 |
| ·动态仿真 | 第37-42页 |
| ·文档管理 | 第42-49页 |
| ·GUI模块和 PNData模块之间数据一致性的实现 | 第49-52页 |
| 5 分析模块的实现 | 第52-65页 |
| ·概述 | 第52-54页 |
| ·关键技术和算法的实现 | 第54-60页 |
| ·基于不变量的性能分析 | 第54-57页 |
| ·基于可达树的性能分析 | 第57-59页 |
| ·模拟功能 | 第59-60页 |
| ·软件分析工具的实例应用 | 第60-65页 |
| ·教务排课系统 | 第60-63页 |
| ·哲学家就餐问题 | 第63-65页 |
| 结论 | 第65-66页 |
| 参考文献 | 第66-68页 |
| 攻读硕士学位期间发表学术论文情况 | 第68-69页 |
| 致谢 | 第69-70页 |
| 大连理工大学学位论文版权使用授权书 | 第70页 |