A Method for Soundness Verification of Workflow Model Based on Petri Net

摘要：

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.

关键词： Workflow model Petri-net WF-net soundness jdom

作者: WANG Jianliang XIA Zhiwei DING Yanan

作者单位: Department of Computer Ocean University of China Qingdao, Shandong Province 266071, China Department of management Shandong Jiaotong Vocational College Weifang, Shandong Province 261206,China

会议类型: 国际会议

会议名称: 第四届国际计算机新科技与教育学术会议(2009 4th International Conference on Computer Science & Education)

会议地点: 南京

会议语种:英文

页码: 880-883

在线出版日期: 2009-07-25（万方平台首次上网日期，不代表论文的发表时间）