工作流建模及模型分析技术已经成为工作流技术的一个重要研究方向.该文在分析了现有基于Petri网的工作流模型WF-net的基础上,通过对层次工作流模型的研究,围绕着如何正确、有效地建立工作流模型这个主题,讨论了在工作流逻辑模型、语义模型中的结构和分析技术.该文分析了现有WF-net模型的不足之处,讨论了层次化的基于Petri网的对工作流系统进行建模的基本框架,研究了层次化的工作流模型的逻辑层和语义层建模方法.该文主要研究成果包括以下方面:1、探讨了WF-net模型中较容易出现的错误以及比较隐蔽的错误,并对其原因进行了进一步的分析,找出了某些WF-net模型中逻辑结构和语义结构的不一致性.2、针对WF-net模型的不足,讨论了层次化工作流模型的结构,以及各层次的功能.3、阐述了基于Synchronizer的逻辑模型的相关概念,引入同步距离的概念对工作流系统的逻辑层进行建模,提出一组规约规则.4、阐述了基于UniNet的语义模型的相关概念,并重构了关于保险公司索赔流程的逻辑模型和语义模型.通过分离逻辑层和语义层,以及基于Synchronizer的逻辑层模型和基于UniNet的语义层模型的基本框架,工作流模型的描述能力得到了增强,可以有效地描述工作流的顺序、并行、选择结构.