Workflow Model Analysis Based on Time Constraint Petri Nets
DOI:
Author:
Affiliation:

Clc Number:

Fund Project:

  • Article
  • |
  • Figures
  • |
  • Metrics
  • |
  • Reference
  • |
  • Related
  • |
  • Cited by
  • |
  • Materials
  • |
  • Comments
    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 constraints are imposed on business processes, but also give an optimal schedule to guarantee the minimum duration of workflow execution for a specific case. Research results show that this method supports the time modeling and analysis in business processes, and has an important value in enhancing time management functionality as well as the adaptability to dynamic business environments of current WFMS.

    Reference
    Related
    Cited by
Get Citation

李慧芳,范玉顺.基于时间Petri网的工作流模型分析.软件学报,2004,15(1):17-26

Copy
Share
Article Metrics
  • Abstract:
  • PDF:
  • HTML:
  • Cited by:
History
  • Received:November 25,2002
  • Revised:January 28,2003
  • Adopted:
  • Online:
  • Published:
You are the firstVisitors
Copyright: Institute of Software, Chinese Academy of Sciences Beijing ICP No. 05046678-4
Address:4# South Fourth Street, Zhong Guan Cun, Beijing 100190,Postal Code:100190
Phone:010-62562563 Fax:010-62562533 Email:jos@iscas.ac.cn
Technical Support:Beijing Qinyun Technology Development Co., Ltd.

Beijing Public Network Security No. 11040202500063