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

摘要

提出了一种对网上购物系统建立模型的基于着色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 subsitution transition being used in the 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.