同步图技术及其在协同工作流和并发程序验证中的应用

摘要	第1-6页
Abstract	第6-11页
1 引言	第11-19页
·研究背景	第11-13页
·Petri网在工作流建模中的应用	第13-14页
·并发程序的基本性质及其研究现状	第14-16页
·本文结构	第16-17页
·本论文的内容安排	第17-19页
2 Petri网的基本概念和理论	第19-27页
·Petri网的基本概念	第19-21页
·Petri网基本性质	第21-23页
·Petri网的分析技术	第23-24页
·并发程序语句的Petri网转换规则	第24-26页
·本章小结	第26-27页
3 工作流模型验证的研究	第27-34页
·工作流模型	第27-30页
·工作流技术中的不足	第30-31页
·工作流模型验证的研究现状	第31-32页
·本章小结	第32-34页
4 基于同步图的协同工作流及并发程序验证	第34-54页
·同步图的基本概念	第34-35页
·Petri网到同步图的转换方法	第35-37页
·基于同步图的协同工作流的验证	第37-44页
·基于同步图法的并发程序验证	第44-52页
·本章小结	第52-54页
5. 总结与展望	第54-55页
·总结	第54页
·展望	第54-55页
参考文献	第55-59页
致谢	第59-60页
攻读硕士期间发表论文和科研情况简介	第60页