基于参数化网络类的统一Petri网研究与应用
| 摘 要 | 第1-5页 |
| Abstract | 第5-8页 |
| 1 绪论 | 第8-13页 |
| ·引言 | 第8页 |
| ·课题的研究意义 | 第8-10页 |
| ·国内外的研究现状和发展趋势 | 第10-11页 |
| ·本文研究内容和组织结构 | 第11-13页 |
| 2 统一Petri网理论的研究 | 第13-32页 |
| ·引言 | 第13页 |
| ·几种常见Petri网类型的定义 | 第13-16页 |
| ·参数化网络类的表示方法 | 第16-21页 |
| ·着色Petri网的参数化表示 | 第21-31页 |
| ·小结 | 第31-32页 |
| 3 基于统一Petri网理论的仿真工具的设计开发 | 第32-55页 |
| ·引言 | 第32页 |
| ·仿真工具的要求 | 第32-33页 |
| ·仿真工具的总体设计 | 第33-35页 |
| ·统一Petri网理论的实现 | 第35-44页 |
| ·性质分析模块设计 | 第44-50页 |
| ·文件格式设计 | 第50-51页 |
| ·系统类图和程序实现示例 | 第51-53页 |
| ·小结 | 第53-55页 |
| 4 案例分析 | 第55-66页 |
| ·引言 | 第55页 |
| ·实例系统描述 | 第55-56页 |
| ·实例系统模型构造过程 | 第56-64页 |
| ·系统仿真及结果分析 | 第64-65页 |
| ·小结 | 第65-66页 |
| 5 结论与展望 | 第66-68页 |
| ·结论 | 第66页 |
| ·展望 | 第66-68页 |
| 致 谢 | 第68-69页 |
| 参考文献 | 第69-73页 |
| 附录 作者在攻读硕士学位期间发表的论文 | 第73页 |
