Modeling and analysis for workflow constrained by resources and nondetermined time : An approach based on Petri nets

Research output: Journal Publications and Reviews (RGC: 21, 22, 62)22_Publication in policy or professional journal

54 Scopus Citations
View graph of relations

Author(s)

  • Huaiqing Wang
  • Qingtian Zeng

Related Research Unit(s)

Detail(s)

Original languageEnglish
Pages (from-to)802-817
Journal / PublicationIEEE Transactions on Systems, Man, and Cybernetics Part A:Systems and Humans
Volume38
Issue number4
Publication statusPublished - Jul 2008

Abstract

Time and resource management and verification are two important aspects of workflow management systems. In this paper, we present a modeling and analysis approach for a kind of workflow constrained by resources and nondetermined time based on Petri nets. Different from previous modeling approaches, there are two kinds of places in our model to represent the activities and resources of a workflow, respectively. For each activity place, its input and output transitions represent the start and termination of the activity, respectively, and there are two timing functions in it to define the minimum and maximum duration times of the corresponding activity. Using the constructed Petri net model, the earliest and latest times to start each activity can be calculated. With the reachability graph of the Petri net model, the timing factors influencing the implementation of the workflow can be calculated and verified. In this paper, the sufficient conditions for the existence of the best implementation case of a workflow are proved, and the method for obtaining such an implementation case is presented. The obtained results will benefit the evaluation and verification of the implementation of a workflow constrained by resources and nondetermined time. © 2008 IEEE.

Research Area(s)

  • Nondetermined time, Petri net, Resource management, Workflow

Citation Format(s)

Modeling and analysis for workflow constrained by resources and nondetermined time : An approach based on Petri nets. / Wang, Huaiqing; Zeng, Qingtian.

In: IEEE Transactions on Systems, Man, and Cybernetics Part A:Systems and Humans, Vol. 38, No. 4, 07.2008, p. 802-817.

Research output: Journal Publications and Reviews (RGC: 21, 22, 62)22_Publication in policy or professional journal