基于Petri网的非集中式电子商务平台建模与仿真.pdfVIP

第20卷．第 ll期 计 算 机 技 术 与 发 展 VO1．20 No．11 2010年 l1月 COMPUTERTECHN0IXjYANDDEVEL0PMENT NOV． 2010 基于 Petri．网的非集 中式 电子商务平 台建模与仿真 傅 游，任晓军 (山东科技大学信息科学与工程学院，山东青岛 266510) 摘 要 ：随着 Interact的普及和网络安全性的提高 ，电子商务得到了迅速的发展。为了更好地满足网络环境下 电子交易发 展的需求 ，详细分析了电子商务的业务流程 ，设计 了一个具有交易约束机制的电子商务系统框架 。首先，基于Petri网这一 建模分析工具，建立了电子商务系统业务流程的Petri模型，并设计了有界Petri网可达树生成算法，用于分析所设计的电 子商务系统 Petri网模型的性质；然后 ，运用 Petri网系统动态仿真工具——cPNTc，oIs，对所设计的电子商务系统模型进行 了仿真运行，并分析了实验结果。从静态和动态两个方面检验了所设计的电子商务平台框架的可行性，该框架可以用来 指导下一步的系统开发工作。 关键词：Petri网；电子商务；建模；仿真 中图分类号：TP311 文献标识码 ：A 文章编号 ：1673—629X(2010)11—0137—04 M odelingandSimulation ofNon ‘CentralizedElectronicCommerce System BasedonPetriNet FUYou．PENXiao-jun (CollegeofInformationScienceandEngineering，ShandongUniversityofScience nadTechnology，Qingdao266510，China) Abstract：W iththewidezpreadusageofintemetandtheimprovingsecurityofnetworks，electroniccommercedevelopedrapidly．Thebusi— hessprocessesofelectroniceonTlTlercewereanalyzedindetailaccordingtotherequirementsofopeninternetenvironment．Anelectronic commerceframeworkwithtradingconstraintmechanismsWaSdesignedacocrdingtotherequirementsofonlinetransactions．Thebusiness proceduremodelisestablishedbasedOilPetrinet，andthepropertiesofthemodelwereanalyzedaSwel1．Lastly，thes~ternmodelwas emulatedwithaPetrinetsimulationsystme --CPNTools．andthesimulationreportisanMy~daswel1．Theframewo rkisprovedtobe validfrom bothstaticanddynamicaspects．andcanbeusedaSaguiderofsystem development． Keywords：Petrinet；el~tromecommerce；rrmdeling；simulation 0 引 言 的实体共同参与来完成的。电子商务需要一个能够协 电子商务 (ElectronicCommerce简称 EC)是在 In— 调多方的、安全性高的综合系统来保障这一交易过程 temet开放环境下完