近年来,随着企业信息管理的复杂化,工作流管理已经成为当今发展最为迅速的计算机应用技术之一。而Petri网由于具有严格的数学规范以及形式化的定义,对于工作流的建模以及分析仿真来说无疑具有巨大的优势。 WFMC(工作流管理联盟)提出了有关工作流管理系统的一些规范,定义了工作流管理系统的结构及其与应用、管理工具及其他工作流管理系统之间的应用编程接口,提出了相关的参考模型、体系结构以及过程定义。 工作流中的时间管理是现在工作流研究中的一个重要课题之一。在企业流程管理中,业务的有效性、及时性以及效率对企业的经营活动是至关重要的。对复杂的工作流,在时间约束上的缺陷将导致一系列的问题。所以在工作流开始之前以及在实施的过程中甚至于任一时间对工作流进行时间管理是相当重要的。 工作流时间管理的核心问题是工作流中的时间建模和时间约束的一致性检验。本文在WFMC工作流参考模型的基础上建立了基于Petri网的工作流模型,并对其进行扩展,引入时间参数。在分析了当前该领域研究现状的基础上,着重研究了基于Petri网的工作流系统中的时间建模和时间约束的描述及一致性的验证问题。利用Petri网对时间距离约束、周期时间约束、循环时间约束等进行了描述,提出了相应的模型转换策略和验证算法,为解决工作流系统中的时间管理问题提出了一整套比较全面的解决方案,并通过实验验证了本文所提出的解决方案的正确性和可行性。