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

摘要：

随着Internet的普及和网络安全性的提高,电子商务得到了迅速的发展.为了更好地满足网络环境下电子交易发展的需求,详细分析了电子商务的业务流程,设计了一个具有交易约束机制的电子商务系统框架.首先,基于Petri网这一建模分析工具,建立了电子商务系统业务流程的Petri模型,并设计了有界Petri网可达树生成算法,用于分析所设计的电子商务系统Petri网模型的性质;然后,运用Petri网系统动态仿真工具--CPNTools,对所设计的电子商务系统模型进行了仿真运行,并分析了实验结果.从静态和动态两个方面检验了所设计的电子商务平台框架的可行性,该框架可以用来指导下一步的系统开发工作.

关键词：Petri网、电子商务、建模、仿真

所属期刊栏目：20

分类号：TP311(计算技术、计算机技术)

资助基金：山东省教育科技计划项目J08LJ11;青岛市经济技术开发区科技发展计划项目2008-2-27;山东科技大学春雷计划项目2009AZZ106

在线出版日期：2011-01-28（万方平台首次上网日期，不代表论文的发表时间）

页数：共5页

页码：137-140,145