Soundness Analysis of the Multi-cases Workflow Model Based on Home State
PANG Shan-chen1,2, YAN Chun-gang1, JIANG Chang-jun1,2
1. Department of Computer Science and Engineering,Tongji University,Shanghai 200092,China;2. School of Information Science and Engineering,Shandong University of Science and Technology,Qingdao,Shandong 266510,China
Abstract：Workflow technology is a hotspot in the area of computer application,and the efficient modeling methods and application tools are important for workflow system,and are the emphases of research for researchers.Based on the Petri Nets modeling techniques,the workflow model of multi-cases having same characters be studied in this paper.Some properties of the multi-cases workflow net(MCWF-net) are analyzed and verified.Some shortages and errors in before some studied results be covered or rectified.Based on home state,a necessary and sufficient condition for the soundness of the multi-cases workflow net is presented.The results give a new method for workflow system analysis and verification,and it is important to analyze the ability to deal with the business process of workflow system,and improve the efficiency for workflow system to deal with the business process.
庞善臣;闫春钢;蒋昌俊;. 基于家态的多事务工作流完整性分析[J]. 电子学报, 2006, 34(6): 1163-1168.
PANG Shan-chen;YAN Chun-gang;JIANG Chang-jun;. Soundness Analysis of the Multi-cases Workflow Model Based on Home State. Chinese Journal of Electronics, 2006, 34(6): 1163-1168.
2006, Vol. 34 
