| 摘要 | 第1-6页 |
| Abstract | 第6-9页 |
| 1 引言 | 第9-12页 |
| ·背景知识和研究现状 | 第9-10页 |
| ·本文主要工作 | 第10-11页 |
| ·组织内容 | 第11-12页 |
| 2 Petri网与形式语言基础 | 第12-22页 |
| ·网与网系统 | 第12-13页 |
| ·Petri网的动态性质 | 第13-16页 |
| ·Petri网的分析方法 | 第16-18页 |
| ·Petri网的结构性质 | 第18-20页 |
| ·正规语言与正规表达式 | 第20-22页 |
| 3 Petri网的表征语言 | 第22-45页 |
| ·有关概念和性质 | 第22-27页 |
| ·有界网和公平网的表征语言 | 第27-39页 |
| ·其他表征语言为正规语言的Petri网 | 第39-44页 |
| ·小结 | 第44-45页 |
| 4 Petri网标识可达性判定 | 第45-51页 |
| ·有关概念和性质 | 第45-47页 |
| ·一些Petri网的可达性判定 | 第47-50页 |
| ·小结 | 第50-51页 |
| 5 结束语 | 第51-52页 |
| 致谢 | 第52-53页 |
| 参考文献 | 第53-56页 |
| 在读期间的研究成果 | 第56页 |