首页 > 期刊 > 系统仿真学报 > 基于Petri网的网上商城订单处理模拟与验证 【正文】
摘要：用P/T网构建了网上商城订单前台处理和后台处理的基本流程模型,此模型保证了订单在后台处理时订单不丢失、订单处理员与发送订单两大主体之间同时核对订单。最后,利用S?不变量给出订单后台处理模型的验证。
关键词：模拟 订单处理 验证
单位：西华大学数学与计算机学院
注：因版权方要求，不能公开全文，如需全文，请咨询杂志社
相关期刊
相关范文
北大期刊
￥700.00
购物车(0)