A resource dominated workflow net based on p-time Petri net

Resource plays an important role during the implementation of workflow management system. Various resource constrained workflow (RCWF) nets have been proposed in the previous researches. In this paper, we extend RCWF-nets to resource dominated workflow (RDWF) nets by taking resource consumption into account. The p-time Petri net is used to model RDWF-nets, in which both activities and resources are represented by places. The dynamic intervals of activity places are determined by the consumption of resources and the static intervals of waiting places are prescribed as the global clock to control the implementation of workflows. The correctness criterion of RDWF-nets with one case is also extended with consideration of resource consumption. The application and analysis of the research is illustrated by a case study.