基于CPN Tools的网上购物系统建模及合理性分析
来源期刊：江西理工大学学报2011年第5期
论文作者：彭洁 李淑芝 杨书新
文章页码：49 - 52
关键词：网上购物;着色Petri网;替代变迁;状态空间;
摘 要：提出了一种对网上购物系统建立模型的基于着色Petri网的方法.该方法运用了CPNTools分层的特性及替代变迁,克服了建立的CPN模型大而复杂的不足.最后为了确保模型的正常运行,利用CPN Tools提供的状态空间工具来验证订单处理的CPN模型的合理性.
彭洁1，李淑芝2，杨书新2
1. 江西理工大学应用科学学院2. 江西理工大学信息工程学院
摘 要：提出了一种对网上购物系统建立模型的基于着色Petri网的方法.该方法运用了CPNTools分层的特性及替代变迁,克服了建立的CPN模型大而复杂的不足.最后为了确保模型的正常运行,利用CPN Tools提供的状态空间工具来验证订单处理的CPN模型的合理性.
关键词：网上购物;着色Petri网;替代变迁;状态空间;
