简介概要

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

来源期刊:江西理工大学学报2011年第5期

论文作者:彭洁 李淑芝 杨书新

文章页码:49 - 52

关键词:网上购物;着色Petri网;替代变迁;状态空间;

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

详情信息展示

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

彭洁1,李淑芝2,杨书新2

1. 江西理工大学应用科学学院2. 江西理工大学信息工程学院

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

关键词:网上购物;着色Petri网;替代变迁;状态空间;

<上一页 1 下一页 >

有色金属在线官网  |   会议  |   在线投稿  |   购买纸书  |   科技图书馆

中南大学出版社 技术支持 版权声明   电话:0731-88830515 88830516   传真:0731-88710482   Email:administrator@cnnmol.com

互联网出版许可证:(署)网出证(京)字第342号   京ICP备17050991号-6      京公网安备11010802042557号