Analysis of Workflow Schedulability Based on Time Constraint Petri Nets

It is important to introduce time to control execution of workflow effectively in the area of workflow research. Firstly, time is introduced to workflow model based on Petri net and the time constraint Petri net model of workflow is established. Based on the analysis of time constraint and schedulability of models, the analysis and verification method and corresponding algorithm is proposed. Finally, the analysis and verification process is illustrated by an example