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.