Title :
Analysis of Workflow Schedulability Based on Time Constraint Petri Nets
Author :
Feng, Lin ; Jiang, Hao
Author_Institution :
Dept. of Comput. Sci. & Eng., Southeast Univ., Nanjing
Abstract :
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
Keywords :
Petri nets; formal specification; formal verification; scheduling; workflow management software; time constraint Petri nets; verification method; workflow schedulability analysis; Algorithm design and analysis; Collaborative work; Computer science; Design engineering; Petri nets; Processor scheduling; Scheduling algorithm; Time factors; Timing; Workflow management software; Schedulability; Workflow; models analysis; time constraint Petri nets;
Conference_Titel :
Computer Supported Cooperative Work in Design, 2006. CSCWD '06. 10th International Conference on
Conference_Location :
Nanjing
Print_ISBN :
1-4244-0164-X
Electronic_ISBN :
1-4244-0165-8
DOI :
10.1109/CSCWD.2006.253065
