Probability timing constraint WF-nets and their application to timing schedulability analysis of workflow management systems

For obtaining timely responses in workflow management systems, we must design a schedule of task executions in a timely manner with respect to imposed timing constraints. We call the procedure of verifying that a schedule satisfies the timing constraints as timing schedulability analysis. Traditional work proposed for schedulability analysis only give definite analysis results of timing constraints satisfaction or violation, which are too rigorous in practice. In this paper, we define Probability Timing Constraint WF-nets (PTCWF-nets) and their corresponding timing schedulability analysis approach, which extends the analysis result into probability of satisfaction. By means of this analysis result, process designer can flexibly evaluate timing constraints and proactively take suitable measures to deal with possible timing constraint violations.