工作流管理是一个被业界广泛应用并迅速发展的技术,而工作流建模是工作流技术研究的基础。本文主要是基于Petri 理论对工作流建模方法和模型的分析评价方法进行研究与探索。文章首先从工作流管理联盟定义的元模型概念出发,抽象出企业工作流模型的视图组成-组织视图、资源视图、过程视图和信息视图。基于此并结合Petri 网知识,提出了一种一般性的工作流Petri 网建模方法,当中详细地阐述了如何基于Petri 网进行模型的定义、模型的执行以及模型的分析,并在最后给出了利用Petri 网创建工作流模型的具体流程。本文同时分析并阐述了层次工作流Petri 网建模方法的关键概念,给出了利用此方法进行复杂工作流建模的解决办法,完成了层次工作流Petri 网模型主要性质的验证。并基于此方法中的“区”的概念与定义,给出了工作流模型动态变化问题的解决方案。本文还提出了基于可达树的分析方法用于简单工作流Petri 网模型正确性的验证,同时利用四种Petri 简化规则完成了对层次工作流Petri 网模型的正确性验证。另外还给出了模型的时间性能和资源利用性能,用于对业务过程的评价。为了支持对工作流Petri 网建模与分析评价方法的研究,本文给出了工作流Petri网建模工具软件-VisualPN 的设计方案。文章最后以一个实例对文中提出的方法进行了论证和检验,并对系统模型仿真结果进行了分析。