| 中文摘要 | 第1-4页 |
| Abstract | 第4-6页 |
| 1 引言 | 第6-9页 |
| ·问题的提出 | 第6-7页 |
| ·本文的主要任务 | 第7-9页 |
| 2 预备知识 | 第9-26页 |
| ·PEPA | 第9-10页 |
| ·状态空间爆破问题 | 第10-12页 |
| ·PEPA的数值型表示方法 | 第12-17页 |
| ·状态空间的线性化 | 第17-22页 |
| ·随机模拟算法 | 第22-26页 |
| 3 一个PEPA模型的随机模拟算法的改进 | 第26-31页 |
| ·流体逼近 | 第26-29页 |
| ·PEPA模型 | 第29-31页 |
| 4 数值模拟 | 第31-37页 |
| ·算法模拟1 | 第31-34页 |
| ·算法模拟2 | 第34-37页 |
| 5 结论及将来的工作 | 第37-38页 |
| 6 参考文献 | 第38-40页 |
| 致谢 | 第40-41页 |