| 提要 | 第1-5页 |
| 摘要 | 第5-7页 |
| Abstract | 第7-11页 |
| 第1章 绪论 | 第11-15页 |
| ·研究背景 | 第11-13页 |
| ·问题的提出 | 第11-12页 |
| ·研究意义 | 第12-13页 |
| ·研究现状 | 第13页 |
| ·本文主要工作 | 第13-14页 |
| ·本文组织结构 | 第14-15页 |
| 第2章 递归π演算及 Petri 网相关基础理论 | 第15-21页 |
| ·递归π演算介绍 | 第15-17页 |
| ·π演算基本定义 | 第15-16页 |
| ·π演算操作语义 | 第16-17页 |
| ·递归π演算形式 | 第17页 |
| ·Petri 网介绍 | 第17-18页 |
| ·π演算与 Petri 网的转换 | 第18-19页 |
| ·互模拟等价 | 第19-20页 |
| ·本章小结 | 第20-21页 |
| 第3章 递归π演算向 Petri 网的转换 | 第21-37页 |
| ·准备与讨论 | 第21-25页 |
| ·表达式解析 | 第21页 |
| ·层次记录 | 第21-22页 |
| ·信息保存 | 第22页 |
| ·递归出口判定 | 第22-23页 |
| ·Petri 网改进情况 | 第23-25页 |
| ·转换规则 | 第25-28页 |
| ·基本进程转换规则 | 第25-26页 |
| ·组合规则 | 第26-28页 |
| ·递归π演算向 Petri 网的转换 | 第28-34页 |
| ·典型递归结构转换全景图 | 第28-33页 |
| ·典型递归结构向 Petri 网转换的步骤 | 第33-34页 |
| ·变迁激发规则以及标识等价规则 | 第34-35页 |
| ·递归π演算与 Petri 网的互模拟等价性 | 第35-36页 |
| ·本章小结 | 第36-37页 |
| 第4章 一种更简洁的 Petri 网 | 第37-43页 |
| ·π演算表达式递归结构执行情况分析 | 第37-38页 |
| ·一种更简洁的 Petri 网相关定义 | 第38-40页 |
| ·状态图 | 第38-39页 |
| ·压缩状态图 | 第39-40页 |
| ·一种更简洁的 Petri 网表示 | 第40页 |
| ·一种更简洁的 Petri 网表示方法 | 第40-41页 |
| ·Petri 网与更简洁的 Petri 网表示的等价性 | 第41-42页 |
| ·本章小结 | 第42-43页 |
| 第5章 验证 | 第43-51页 |
| ·对转换结果的建模 | 第43-47页 |
| ·对转换结果的验证 | 第47-50页 |
| ·本章小结 | 第50-51页 |
| 第6章 结语 | 第51-53页 |
| ·工作总结 | 第51页 |
| ·工作展望 | 第51-53页 |
| 参考文献 | 第53-55页 |
| 作者简介及在学期间所取得的科研成果 | 第55-56页 |
| 致谢 | 第56页 |