随着用工作流的方法管理业务流程的需求的不断增加,人们提出了各种各样的模型和分析方法。而现存的工作流产品缺乏对动态变化所必须的柔性支持,远远不能满足企业的应用需求。时间是反映工作流性能的一个重要方面,因此,时间的验证与分析成为当今工作流研究的一个热点问题。立足于实际业务过程对工作流系统时间管理功能的需求,尤其是针对一些对时间性能要求比较高的工作流系统,提出了一种新的基于库所含时间因素的时延Petri网的工作流建模和分析方法,定义了一种新的工作流建模工具TPWF_net(Timed Place WorkFlownet)。TPWF_net基于库所含时间因素的Petri网TPPN(Timed Place Petri Net),用库所来表示任务的状态和执行过程,库所上被赋予一个时间值。变迁用于对工作流逻辑的控制。在一个实际的工作流中,常常有一些可选活动和可替换路径,对可选活动的适当取舍和可替换路径的适当选择,可以提高工作流系统在时间方面的柔性,所以在TPWF_net中对可选活动和可替换路径进行了定义。给出了TPWF_net模型结构完整性的定义,并用可达标识图的方法对TPWF_net模型的完整性进行了验证。工作流时间管理是研究工作流执行的时间计划,估计不同的活动执行延时、避免活动/过程违反时间约束,以提高过程管理的效率。本文基于TPPN(Timed Place Petri Net)的运行规则,在TPWF_net模型逻辑结构的基础上,定义了一种时间计算方法,以此为基础,在模型建立阶段和模型实例化阶段分别进行时间的计算与分析。