| 摘要 | 第1-4页 |
| ABSTRACT | 第4-6页 |
| 引言 | 第6-8页 |
| 1 面向服务的Petri网-进程网 | 第8-11页 |
| 2 进程网的组合方式 | 第11-18页 |
| ·顺序组合 | 第11-12页 |
| ·选择组合 | 第12-13页 |
| ·循环组合 | 第13-14页 |
| ·完全并发组合 | 第14-15页 |
| ·同步并发组合 | 第15-16页 |
| ·异步并发组合 | 第16-18页 |
| 3 结构化操作语义 | 第18-21页 |
| 4 进程网建模工具-PrNtools的设计与实现 | 第21-52页 |
| ·进程网建模工具总体设计 | 第21-22页 |
| ·功能设计 | 第22-35页 |
| ·进程网建模 | 第23-29页 |
| ·不同文件格式 | 第29-33页 |
| ·进程网-代数表达式转换 | 第33-35页 |
| ·进程网建模工具具体实现 | 第35-52页 |
| ·实现类图 | 第35-41页 |
| ·界面实现 | 第41页 |
| ·组合算子的实现 | 第41-44页 |
| ·Xml文件的定义与实现 | 第44-50页 |
| ·PrN与代数表达式转换 | 第50-52页 |
| 5 实例分析 | 第52-55页 |
| 6 总结与展望 | 第55-56页 |
| 参考文献 | 第56-58页 |
| 申请学位期间的研究成果及发表的学术论文 | 第58-59页 |
| 致谢 | 第59页 |