Analysis of Workflow Schedulability Based on Time Constraint Petri Nets

@article{Feng2006AnalysisOW,
  title={Analysis of Workflow Schedulability Based on Time Constraint Petri Nets},
  author={Lin Feng and Hao Jiang},
  journal={2006 10th International Conference on Computer Supported Cooperative Work in Design},
  year={2006},
  pages={1-5}
}
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