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
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;
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
DOI :
10.1109/ICCSE.2009.5228211
