基于时间Petri网的工作流模型分析.pdf

1000-9825/2004/15(01)0017 ©2004 Journal of Software 软 件 学 报 Vol.15, No.1 基于时间Petri 网的工作流模型分析 1,2+ 1 李慧芳 , 范玉顺 1(清华大学 自动化系 CIMS 中心,北京 100084) 2(北京理工大学 自动控制系,北京 100081) Workflow Model Analysis Based on Time Constraint Petri Nets LI Hui-Fang1,2 +, FAN Yu-Shun1 1(CIMS Center, Department of Automation, Tsinghua University, Beijing 100084, China) 2(Department of Automatic Control, Beijing Institute of Technology, Beijing 100081, China) + Corresponding author: Phn: +86-10 E-mail: huifang@, hfli@ Received 2002-11-25; Accepted 2003-01-28 Li HF, Fan YS. Workflow model analysis based on time constraint Petri nets. Journal of Software, 2004,15(1): 17~26. /1000-9825/15/17.htm Abstract : The ultimate goal of workflow management is to implement the right person executes the right activity at the right time. To make enterprises more competitive, time-related restrictions of business processes should be considered in workflow models. A workflow model, which considers time related factors, requires time specification and verification before it goes into production so as to guarantee the time coordination in workflow executions. Through extending time attributes for the elements in WF-nets, this paper investigates the integration of the time constraints imposed on business processes into their workflow models and the new nets are called TCWF- nets. Based on analyzing the schedulability of business activities, a time consistency verification method is put forward to assure safe time interactions between activities during workflow executions. The schedulability analysis method can not only check for the time feasibility of its execution for a given workflow schedule when the time constraint