Schedulability analysis algorithm for timing constraint workflow models

For the important limitation of actual workflow management systems (WFMS), a Petri nets-based workflow modeling method for time constraints is put forward. Firstly, we extend the workflow nets with time constraints and call the new nets timing constraint workflow nets (TCWF-nets), then after analyzing the time property of workflow nets (WF-nets), we proposed the schedulability analysis algorithm of TCWF-nets. The research results show that our method can roundly describe the time information and has the important reference value in enriching the theory of the time constraint modeling in WFMS.