| 摘要 | 第1-4页 |
| Abstract | 第4-8页 |
| 第一章 综述 | 第8-13页 |
| ·Petri网的理论的发展与应用 | 第8-9页 |
| ·Petri网分析技术概述 | 第9-11页 |
| ·国内外Petri网研究背景及成果 | 第11-13页 |
| ·本文的主要内容 | 第13页 |
| 第二章 基本概念和术语 | 第13-19页 |
| ·Petri网理论的基本概念 | 第14-16页 |
| ·网系统分类 | 第16-17页 |
| ·Petri网的结构和行为特征 | 第17-19页 |
| 第三章 Petri网的动态行为研究方法分析 | 第19-22页 |
| ·建模与验证 | 第19-20页 |
| ·化简 | 第20-21页 |
| ·子类的行为研究 | 第21页 |
| ·Petri网语言研究 | 第21-22页 |
| 第四章 基于Petri网下C/E系统的混惑检测与消除 | 第22-33页 |
| ·本章相关概念 | 第23-24页 |
| ·混惑的检测 | 第24-27页 |
| ·混惑的消除 | 第27-33页 |
| ·总结 | 第33页 |
| 第五章 基于Petri网下信息流结构的网构造 | 第33-42页 |
| ·信息流图 | 第35-37页 |
| ·信息流图的网表示 | 第37-42页 |
| ·总结 | 第42页 |
| 第六章 结论 | 第42-45页 |
| 参考文献 | 第45-52页 |
| 攻读硕士学位期间完成的论文 | 第52-54页 |
| 致谢 | 第54页 |