Online Shopping System Modeling and its Soundness Analysis Based on CPN Tools
Yang Shu-xinb · Journal of Jiangxi University of Science and Technology · 2011
An approach of online shopping system modeling based on Coloured Petri Net is proposed in the article.The hierarchical structure and subsitution transition being used in tthe approach,the approach avoids large graph and complexity of CPN Tools′ modeling.Finally the order process CPN model is utilized to verify system′s rationality based on the state space tools of CPN Tools.