| 摘要 | 第1-5页 |
| ABSTRACT | 第5-9页 |
| 第一章 绪论 | 第9-14页 |
| ·研究的背景及意义 | 第9页 |
| ·国内外研究现状 | 第9-11页 |
| ·主要研究内容 | 第11-13页 |
| ·论文组织结构 | 第13-14页 |
| 第二章 用Petri网描述并发系统 | 第14-19页 |
| ·基本概念 | 第14-15页 |
| ·消息传递规则 | 第15-17页 |
| ·资源共享规则 | 第17-19页 |
| 第三章 建立并发系统的常微分方程模型 | 第19-26页 |
| ·连续Petri网 | 第19-21页 |
| ·建立常微分方程模型 | 第21-26页 |
| 第四章 并行计算微分方程组 | 第26-35页 |
| ·Petri网到超图的转换 | 第26-31页 |
| ·超图的基本概念 | 第26-27页 |
| ·转换规则 | 第27-28页 |
| ·常见Petri网对应的超图 | 第28-30页 |
| ·补充说明 | 第30页 |
| ·超图剖分 | 第30-31页 |
| ·并行计算 | 第31-35页 |
| ·求解的微分方程类型 | 第31-32页 |
| ·并行算法 | 第32-34页 |
| ·算法复杂度分析 | 第34-35页 |
| 第五章 用常微分方程组分析系统性能 | 第35-42页 |
| ·用随机Petri网（SPN）分析系统性能 | 第35-36页 |
| ·随机Petri网（SPN）的平均标记数=连续Petri网（CPN）的状态度量值 | 第36-39页 |
| ·性能度量 | 第39页 |
| ·优化性能 | 第39-40页 |
| ·复杂度分析 | 第40-42页 |
| ·连续Petri网（CPN）方法的计算复杂度 | 第40-41页 |
| ·随机Petri网（SPN）方法的计算复杂度 | 第41-42页 |
| 第六章 实例分析 | 第42-60页 |
| ·哲学家进餐问题 | 第42-51页 |
| ·建立Petri网及微分方程模型 | 第42-43页 |
| ·Petri网转换为超图 | 第43-44页 |
| ·哲学家问题的超图剖分 | 第44-45页 |
| ·方程重新分组 | 第45-46页 |
| ·并行计算 | 第46-47页 |
| ·算法复杂度分析 | 第47-51页 |
| ·远程医疗系统（RHIS） | 第51-60页 |
| ·建立Petri网及微分方程模型 | 第51-53页 |
| ·Petri网转换为超图 | 第53-54页 |
| ·远程医疗系统的超图剖分 | 第54页 |
| ·方程重新分组 | 第54页 |
| ·并行计算 | 第54-55页 |
| ·系统性能分析 | 第55-57页 |
| ·优化系统 | 第57-60页 |
| 总结与展望 | 第60-62页 |
| 参考文献 | 第62-65页 |
| 致谢 | 第65-66页 |
| 攻读学位期间的研究成果 | 第66页 |