基于CPN Tools的网上购物系统建模及合理性分析  

Online Shopping System Modeling and its Soundness Analysis Based on CPN Tools

作　　者：彭洁[1] 李淑芝[2] 杨书新[2] 

机构地区：[1]江西理工大学应用科学学院,江西赣州341000 [2]江西理工大学信息工程学院,江西赣州341000

出　　处：《江西理工大学学报》2011年第5期49-52,共4页Journal of Jiangxi University of Science and Technology

基　　金：江西省自然科学基金资助项目(2009GZS0043);江西省教育厅科研资助项目(GJJ09247)

摘　　要：提出了一种对网上购物系统建立模型的基于着色Petri网的方法.该方法运用了CPNTools分层的特性及替代变迁,克服了建立的CPN模型大而复杂的不足.最后为了确保模型的正常运行,利用CPN Tools提供的状态空间工具来验证订单处理的CPN模型的合理性.An approach of online shopping system modeling based on Coloured Petri Net is proposed in the article. The hierarchical structure and subsitufion 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.

关 键 词：网上购物 着色PETRI网 替代变迁 状态空间 

分 类 号：TP399[自动化与计算机技术—计算机应用技术]