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

作者：彭洁; 李淑芝; 杨书新

来源：江西理工大学学报, 2011, (05): 49-52.

DOI：10.13265/j.cnki.jxlgdxxb.2011.05.021

• 网上购物
• 着色Petri网
• 替代变迁
• 状态空间 online shopping
• coloured Petri Net
• substitution transition
• state space

提出了一种对网上购物系统建立模型的基于着色Petri网的方法.该方法运用了CPNTools分层的特性及替代变迁,克服了建立的CPN模型大而复杂的不足.最后为了确保模型的正常运行,利用CPN Tools提供的状态空间工具来验证订单处理的CPN模型的合理性.

• 单位
  江西理工大学; 江西理工大学应用科学学院