DocumentCode
2762846
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
fYear
2006
fDate
3-5 May 2006
Firstpage
1
Lastpage
5
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;
fLanguage
English
Publisher
ieee
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
Type
conf
DOI
10.1109/CSCWD.2006.253065
Filename
4019101
Link To Document