| 第一章 综述 | 第1-15页 |
| ·Petri网理论的发展与应用 | 第10-12页 |
| ·国内外关于Petri网的模拟与性质的研究背景及成果 | 第12-14页 |
| ·本文的主要内容 | 第14-15页 |
| 第二章 基本概念和术语 | 第15-22页 |
| ·Petri网理论的基本概念 | 第15-17页 |
| ·Petri网系统以及几个特殊的子类 | 第17-19页 |
| ·Petri网的结构和行为特征 | 第19-22页 |
| 第三章 哲学家就餐问题的模拟与验证 | 第22-32页 |
| ·本章相应的概念 | 第22-23页 |
| ·哲学家就餐问题的Petri网模型 | 第23-31页 |
| ·本章的贡献与需进一步研究的工作 | 第31-32页 |
| 第四章 S-不变对结构活性的一种判定及相关的算法 | 第32-46页 |
| ·S-不变对结构活性的一种判定 | 第32-37页 |
| ·结构活网的极小活标识的一个求解算法 | 第37-44页 |
| ·本章的贡献与需进一步研究的工作 | 第44-46页 |
| 第五章 自控网下的S-不变的研究 | 第46-56页 |
| ·本章相应的概念 | 第46-47页 |
| ·关于自控网S-不变的研究 | 第47-49页 |
| ·自控网下关于S-不变线性性质的讨论 | 第49-54页 |
| ·本章的贡献与需进一步研究的工作 | 第54-56页 |
| 第六章 结论 | 第56-58页 |
| 参考文献 | 第58-64页 |
| 攻读硕士学位期间完成的论文 | 第64-65页 |
| 申明 | 第65-66页 |
| 致谢 | 第66-67页 |