DocumentCode
3229974
Title
A method for soundness verification of workflow model based on Petri net
Author
Wang Jianliang ; Xia Zhiwei ; Yanan, D.
Author_Institution
Dept. of Comput., Ocean Univ. of China, Qingdao, China
fYear
2009
fDate
25-28 July 2009
Firstpage
880
Lastpage
883
Abstract
There are a lot of modelling and analysis tools available for workflow, but Petri net is more preferable because of its solid mathematical foundation and graphical nature. Using the Petri theory on structural and behavioural properties, this paper analyses the good qualities and defects of the available achievements, and proposes an algorithm for the soundness of the workflow model according to the characteristics of WF-net.
Keywords
Petri nets; workflow management software; Petri net; Petri theory; behavioural properties; soundness verification; structural properties; Algorithm design and analysis; Computer science; Computer science education; Information systems; Mathematical model; Oceans; Petri nets; Process design; Solid modeling; Workflow management software; Petri-net; WF-net; Workflow model; jdom; soundness;
fLanguage
English
Publisher
ieee
Conference_Titel
Computer Science & Education, 2009. ICCSE '09. 4th International Conference on
Conference_Location
Nanning
Print_ISBN
978-1-4244-3520-3
Electronic_ISBN
978-1-4244-3521-0
Type
conf
DOI
10.1109/ICCSE.2009.5228211
Filename
5228211
Link To Document