随着现代企业的集团化规模日益扩大,需要处理的信息资源也随之飞速增长,企业的业务经营过程也越来越复杂,如何使用计算机对商业过程进行自动和有效的组织和管理,成为现代信息技术面临的重要前沿课题。工作流技术由于提供了对商业过程自动化的支持,所以近年来得到了广泛的研究和发展,已成为整合企业复杂信息环境、实现业务流程自动执行的必要工具。在工作流技术中,工作流管理系统用来定义和创建工作流,并对工作流的执行过程进行监督和管理。面对日益复杂的信息处理和分布式的应用执行环境,工作流需要提供形式化的建模方法,这样有利于对业务流程进行清晰、易懂、无二义性的定义和形式化的分析。Petri网作为一种适用于多种系统的图形化、数学化建模工具,为描述和研究具有并行、异步、分布式和随机性等特征的复杂系统提供了强有力的建模手段,因此用Petri网对工作流技术进行建模和分析具有很重要的意义。本文主要研究基于Petri网的工作流管理系统建模和性能分析。在建模方面,主要是采用了基于工作流网(WF-net)的建模方法,并利用细化理论和基本组件,对大型、复杂的企业应用管理系统进行层次化建模,提高了工作流建模过程的灵活性和有效性。在对工作流网模型的性质分析方面,提出了网系统的归约规则,将复杂的网系统归约化简后再进行分析。工作流管理系统的模型在建立之后需要对其进行一些必要的性能分析,这是考察工作流模型实现效率的重要方面。这里我们同样采用了将复杂模型分解为若干个基本组件的方法来进行分析,降低了分析的复杂度。并且利用随机Petri网和概率论的知识,对工作流网的四种基本结构(顺序、并行、选择和循环)进行了平均服务时间的计算公式的推导,最后结合房地产销售综合管理系统的实例对其工作流网的模型进行了时间性能分析。