世界经济全球化对企业的生存环境产生了深刻的影响，企业面临着新的全球化的市场竞争环境，这对企业的工作流的应用提出了更高的要求，同时也促进了工作流领域研究工作的开展。 本文以工作流模型的分析和性能评价作为主要研究内容。在归纳和总结了现有工作流建模方法的基础上，给出了符合WfMC规范的基本工作流过程模型的Petri网描述，提出了将活动图转化为Petri网的方法，讨论了如何在工作流中中引入时间参数。 工作流模型的正确性是工作流系统对业务过程进行高效处理的前提。论文对工作流过程模型正确性的要求进行了归纳，讨论了模型正确性的形式化表述。在Petri网已有研究成果的基础上，提出了模型正确性验证的算法。 工作流时间管理是研究工作流执行过程中的时间控制问题，目的是提高工作流管理的效率。在分析了已有方法的基础上，提出了工作流时间约束的概念和相应的模型，研究了时间约束对工作流运行控制的影响，建立了一种基于事件的时间约束描述方法，提出了在业务过程定义阶段和运行阶段进行时间约束一致性验证的方法。 工作流的可调度性是工作流运行控制的主要依据之一。论文采用工作流的时间约束Petri网模型，提出了工作流可调度性的概念和可调度性分析的方法，并针对约束模型提出了一套保持时间约束特性不变的网变换规则，进而利用这套规则计算工作流系统响应时间。 工作流模型的性能评价是工作流研究的重要内容，论文提出了一种基于扩展赋时Petri网的工作流响应时间的计算和分析方法，通过应用保持响应时间和分布概率不变的网变换技术，对工作流过程模型进行简化，以计算模型的性能参数。 论文采用随机Petri网建立工作流的连续时间模型和离散时间模型并进行模型的性能评价。对两种模型分别提出了等效性能参数的计算方法。结合网模型的等效化简技术，可以有效地进行工作流随机模型的性能评价。