随着计算机网络及通信技术的发展，在面向企业的信息系统发展过程中，工作流管理系统WfMS(Workflow Management System)逐渐从信息系统中独立出来，作为一个通用支撑工具提供给应用系统。其主要目标是通过调用有关信息资源与人力资源来协调业务流程中的各个环节，使之按照一定的顺序依次执行，从而实现业务流程的自动化。工作流管理系统是以业务过程形式化表示为基础的，这种将实际的业务流程转化为形式化表示的过程被称为软件过程建模。现在，软件过程建模技术已成为协调企业业务过程、个强企业应变能力和竞争力的重要技术，在现代软件开发中居于重要地位。 工作流技术为现代企业中复杂业务过程的定制与自动执行提供了一种解决方案，得到了广泛应用以及关注，但时间管理问题是工作流技术实施复杂企业应用的严重局限。开展时间管理研究，对于增强工作流管理软件系统地柔性，确保工作流计划的高效执行和提高企业竞争力具有重要意义。 本文首先讨论了工作流系统时间管理的研究现状以及未来发展。作为图形化描述过程的强有力工具，Petri网被广泛应用于业务过程建模。时间管理的关键在于时间信息的有效建模，因为传统Petri网缺乏时间描述信息，因此许多相应的时间Petri网被提出并被广泛应用于实时系统的时间建模与分析领域。通过对多种时间Petri网进行介绍以及详细的比较之后，时间约束Petri网(Timing Constraint Petri nets，简称TCPNs)以其丰富的时间语义，强大的建模能力和其他一些优良的特点，被认为十分适合建模时间约束工作流等实时系统。 本文的主要工作包括： (1)详细描述基于Petri网的工作流建模以及分析，为工作流模型添加了时间语义。同时引入了时间约束Petri网作为时间约束工作流定义模型。 (2)扩展了TCPNs的原始定义，对其变迁的强可调度性重新进行了定义，并给出强可调度判定定理。对变迁的强可调度性进行拓展，提出了变迁序列可调度概念，并详细描述了单一变迁以及变迁序列的可调度分析策略，然后提出变迁序列的组合分析策略以分析含有循环结构的复杂变迁序列。 (3)基于TCPNs模型以及可调度分析策略，设计并实现了一个工作流时间分析工具：TCPN—PIPE2，并通过TCPN—PIPE2对相应TCPNs建模而成的时间过程模型进行有效分析，此工具对原有的系统CPMS进行了时间处理方面的扩展。