| 摘要 | 第1-5页 |
| Abstract | 第5-8页 |
| 引言 | 第8-16页 |
| ·研究背景及意义 | 第8-9页 |
| ·Petri 网的发展史 | 第9-10页 |
| ·Petri 网的研究现状 | 第10-15页 |
| ·模型的扩展 | 第10-12页 |
| ·Petri 网的动态性质及分析技术 | 第12-15页 |
| ·研究内容 | 第15-16页 |
| 2 基本概念和术语 | 第16-25页 |
| ·基本定义 | 第16-18页 |
| ·网的分类 | 第18-20页 |
| ·Petri 网系统的不变量[33] | 第20-22页 |
| ·网的结构 | 第22-25页 |
| 3 基于 Petri 网的并行传输问题分析[37] | 第25-36页 |
| ·基本概念 | 第25-27页 |
| ·模型的建立 | 第27-33页 |
| ·模型的验证 | 第33-36页 |
| 4 基于扩展有色网的文件传输的建模与分析[43] | 第36-47页 |
| ·基本概念 | 第36-38页 |
| ·问题及建模 | 第38-42页 |
| ·模型验证及仿真 | 第42-47页 |
| 结论 | 第47-48页 |
| 参考文献 | 第48-52页 |
| 攻读硕士学位期间发表的论文及科研成果 | 第52-53页 |
| 致谢 | 第53-54页 |