进入二十一世纪以来，工作流技术已广泛应用于多个领域。有关工作流技术的研究日益受到人们的重视，并且取得了众多的研究成果。但是，目前对工作流模型方面的研究比较少，对模型的分析研究更少。而工作流模型是整个工作流技术的基础，工作流研究中一个重要的课题就是要为待描述的过程提供一种通用的、表现能力强和便于形式化分析验证的工作流过程模型。而现有的通用的工作流标准都没有提供对工作流模型的可分析、可验证性定义。Petri网是一种图形化、数学化的建模工具，它具有严密的形式化定义，能对所建模型进行分析验证，适合于过程建模。本文首先分析了工作流建模技术的研究现状，在此基础上，从通用性与严密性两个角度出发，提出一种改进的工作流模型，这种模型结合了Petri网与工作流模型的现有标准，用扩展Petri网保证流程模型在语法上的严密性，支持对工作流模型的分析与验证。同时，为了保证所建模型的通用性，本文研究了由扩展Petri网向工作流模型的映射方法。用工作流模型标准保证所建模型的通用性。最后，基于这种改进的工作流模型，本文设计并实现了一套基于扩展Petri网的工作流建模工具，此工具具有良好的图形界面，它能以Petri网的方式对工作流进行建模，所建立的模型能导出为xml形式的Petri网描述语言，从而使工作流模型具备良好的可分析、可验证性。同时，也能导出遵循一定规范的工作流描述文件，使得所建工作流模型具备一定的通用性。