CASIA OpenIR  > 09年以前成果
Timing constraint workflow nets for workflow analysis
Li, JQ; Fan, YS; Zhou, MC
Source PublicationIEEE TRANSACTIONS ON SYSTEMS MAN AND CYBERNETICS PART A-SYSTEMS AND HUMANS
2003-03-01
Volume33Issue:2Pages:179-193
SubtypeArticle
AbstractThe analysis of the correctness and rationality of a workflow model plays an important role in the research of workflow techniques and successful implementation of workflow management. This paper points out the relevant problems in the verification and analysis of a workflow model. It discusses two important properties: schedulability and boundedness of a workflow, model considering timing constraints. To specify the timing constraints, WorkFIow net is extended with time information, leading to timing constraint workflow net (TCWF-net). This paper presents a model mapping method to convert a directed network graph (DNG) based workflow model, which is built by a graphic process modeling language extended with time information, into a TCWF-net. It then discusses its schedulability verification and synthesis. An algorithm to decompose an acyclic and free-choice TCWF-net into a set of T-components is presented, followed by a boundedness verification method. The usefulness of the research results is illustrated by an example.
KeywordBusiness Process Automation Petri Nets Schedulability Workflow Analysis Workflow Model
WOS HeadingsScience & Technology ; Technology
WOS KeywordPETRI NETS ; MANAGEMENT ; SYSTEMS
Indexed BySCI
Language英语
WOS Research AreaComputer Science
WOS SubjectComputer Science, Cybernetics ; Computer Science, Theory & Methods
WOS IDWOS:000184605500004
Citation statistics
Document Type期刊论文
Identifierhttp://ir.ia.ac.cn/handle/173211/9877
Collection09年以前成果
Affiliation1.Tsinghua Univ, Dept Automat, Beijing 100084, Peoples R China
2.New Jersey Inst Technol, Dept ECE, Newark, NJ 07102 USA
3.Chinese Acad Sci, Intelligent Control & Syst Engn Ctr, Inst Automat, Beijing 100080, Peoples R China
Recommended Citation
GB/T 7714
Li, JQ,Fan, YS,Zhou, MC. Timing constraint workflow nets for workflow analysis[J]. IEEE TRANSACTIONS ON SYSTEMS MAN AND CYBERNETICS PART A-SYSTEMS AND HUMANS,2003,33(2):179-193.
APA Li, JQ,Fan, YS,&Zhou, MC.(2003).Timing constraint workflow nets for workflow analysis.IEEE TRANSACTIONS ON SYSTEMS MAN AND CYBERNETICS PART A-SYSTEMS AND HUMANS,33(2),179-193.
MLA Li, JQ,et al."Timing constraint workflow nets for workflow analysis".IEEE TRANSACTIONS ON SYSTEMS MAN AND CYBERNETICS PART A-SYSTEMS AND HUMANS 33.2(2003):179-193.
Files in This Item:
There are no files associated with this item.
Related Services
Recommend this item
Bookmark
Usage statistics
Export to Endnote
Google Scholar
Similar articles in Google Scholar
[Li, JQ]'s Articles
[Fan, YS]'s Articles
[Zhou, MC]'s Articles
Baidu academic
Similar articles in Baidu academic
[Li, JQ]'s Articles
[Fan, YS]'s Articles
[Zhou, MC]'s Articles
Bing Scholar
Similar articles in Bing Scholar
[Li, JQ]'s Articles
[Fan, YS]'s Articles
[Zhou, MC]'s Articles
Terms of Use
No data!
Social Bookmark/Share
All comments (0)
No comment.
 

Items in the repository are protected by copyright, with all rights reserved, unless otherwise indicated.