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

第32卷 第5期 江西理工大学学报 Vok32，No．5 2011年 10 月 JournalofJiangxiUniversityofScienceandTechnology oCt． 2011 文章编号：1007—1229(2011)05—0049—04 基于 CPNTools的网上购物系统建模及合理性分析 彭 洁 ， 李淑芝 ， 杨书新 (江西理工大学，a．应用科学学院；b．信息工程学院，江西 赣州341000) 摘 要 ：提 出了一种对网上购物系统建立模型的基于着色Petri网的方法．该方法运用 了CPN Tools分层的特性及替代变迁，克服 了建立的CPN模型大而复杂的不足．最后为了确保模型的 正常运行，利用CPNTooB提供的状态空间工具来验证订单处理的CPN模型的合理性． 关键词：网上购物；着色Petri网；替代变迁；状态空间 中图分类号：TP399 文献标识码 ：A OnlineShoppingSystem M odelinganditsSoundnessAnalysis BasedonCPN Tools PENGJie％LIShu-zhib,YANGShu-xin ． (a．FacultyofAppliedScience；b．FacultyofInformationEngineering，JiangxiUniversityofScienceandTechnology，Guanzhou341000，China) Abstract：Anapproachofonlineshoppingsystem modelingbasedonColouredPetriNetisproposed in the article．Thehierarchicalstructureandsubsitufiontransitionbeingusedinttheapproach，theapproachavoids largegraphandcomplexityofCPN Tools modeling．FinallytheorderprocessCPN modelisutilizedtoverify system SrationalitybasedonthestatespacetoolsofCPNTools． Keywords：onlineshopping；colouredPetriNet；substitutiontransition；statespace 在分析网上购物系统业务流程的基础上 ．利用 0 引 言 CPNT0olsf3]对网上购物系统建立模型．为了使模型 既能近似模拟出实际业务流程又能增强模型的可 网上购物系统随着电子商务 的发展而迅速在 读性 、模块的可重用性 ，在建模过程 中，运用了 互联 网上广泛应用 。它给企业带来了工作效率和经 CPNTools分层的特性及替代变迁3[】的方法．最后 济效益．一个 良好的网上购物系统，主要 目标之一 为了确保模型的正常运行．在建立网上购物系统的 是实现网上商品交易的畅通．网上交易活动涉及 模型后 ，利用 CPNTools提供了状态空间分析工具 到许多机构(如购物者、生产商、供应商)的工作，应 来验证模型的合理性． 用一般 的数学工具很难对其进行准确的描述 。而且 建模较为复杂 l【1．ColouredPetriNet(CPN)是一种 1 CPN与 CPNTools的简介 基于状态的建模方法[2]，具有直观的图形表示、形