Workflow Model of Online Shopping System Based on Colored Petri Net and its Rational Analysis

摘要：

Based on analysis of business processes online shopping system, the paper maps the workflow instance of online shopping system to workflow net model by use of colored workflow net. However the commonly used Colored Petri net (CPN) state space is not detailed enough to verify rationality of workflow model. In the paper, we propose a Reached and Marked Ttree algorithm. Then we apply the algorithm to establish the tree of workflow model of online shopping-system. The main advantage is that they explicitly verify the rationality of workflow model, especially for scheduling simple model.

关键词： colored workflow net state space rationality a reached and marked ttree

作者: PENG Jie LI Shu-zhi Yang Shu-xin

作者单位: College of Applied Science Jiangxi University of Science and Technology Guanzhou China Faculty of Information Engineering, Jiangxi University of Science and Technology Guanzhou China

会议类型: 国际会议

会议名称: The 2010 International Conference on Computer Application and System Modeling(2010计算机应用与系统建模国际会议 ICCASM 2010)

会议地点: 太原

会议语种:英文

页码: 276-278

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