摘要
提出了一种对网上购物系统建立模型的基于着色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.
出处
《江西理工大学学报》
CAS
2011年第5期49-52,共4页
Journal of Jiangxi University of Science and Technology
基金
江西省自然科学基金资助项目(2009GZS0043)
江西省教育厅科研资助项目(GJJ09247)