基于Petri网的网上商城订单处理模拟与验证

摘要：

用P/T网构建了网上商城订单前台处理和后台处理的基本流程模型,此模型保证了订单在后台处理时订单不丢失、订单处理员与发送订单两大主体之间同时核对订单。最后,利用S_不变量给出订单后台处理模型的验证。

关键词： 订单处理 Petri网 网上商城

作者: 陈东 宋文 陈晓亮

作者单位: 西华大学数学与计算机学院,成都 610039

会议类型: 国内会议

会议名称: 第十二届全国petri网理论与应用学术年会

会议地点: 天津

会议语种:中文

页码: 123-126

在线出版日期: 2009-08-22（万方平台首次上网日期，不代表论文的发表时间）