| 声明 | 第1页 |
| AFFIRMATION | 第3-4页 |
| 摘要 | 第4-5页 |
| Abstrsct | 第5-11页 |
| 1 绪论 | 第11-20页 |
| ·选题背景及意义 | 第11-12页 |
| ·主体简介 | 第12-13页 |
| ·国内外研究现状 | 第13-17页 |
| ·研究动机和主要工作 | 第17-19页 |
| ·本文的组织结构 | 第19-20页 |
| 2 Petri网基本概念 | 第20-33页 |
| ·网与网系统 | 第20-27页 |
| ·关于保性的Petri网细化运算的研究 | 第27-31页 |
| ·同步器简介 | 第31-32页 |
| ·小结 | 第32-33页 |
| 3 基于Petri网的任务分解及其正确性验证 | 第33-45页 |
| ·基于Petri网的任务分解 | 第33-37页 |
| ·任务分解的有效Petri网系统活性分析 | 第37-38页 |
| ·任务分解的有效Petri网系统的可达性分析及正确性验证 | 第38-41页 |
| ·任务间并行关系的判定 | 第41页 |
| ·示例 | 第41-44页 |
| ·小结 | 第44-45页 |
| 4 基于Petri网的合同网动态任务分配 | 第45-58页 |
| ·基于Petri网的动态任务分配宏观模型 | 第45-51页 |
| ·基于Petri网的BDI主体结构微观模型 | 第51-55页 |
| ·模型的性质分析 | 第55-56页 |
| ·小结 | 第56-58页 |
| 5 基于Petri网的任务实施的过程监控 | 第58-61页 |
| ·计划实施的扩展的同步网系统 | 第58-60页 |
| ·小结 | 第60-61页 |
| 6 结束语 | 第61-63页 |
| ·本文的主要工作 | 第61页 |
| ·进一步的研究 | 第61-63页 |
| 致谢 | 第63-64页 |
| 参考文献 | 第64-69页 |
| 作者在读期间的研究成果 | 第69-70页 |
| 中文详细摘要 | 第70-80页 |