基于面向对象时间Petri网的智能电商物流服务系统建模

Modeling of intelligent E-commerce logistics service system based on object-oriented time petri nets

电商物流服务系统是一种集商流、物流、信息流和资金流于一体的大规模复杂系统,具有离散事件动态系统的一般特征。将面向对象技术与Petri网相结合,引入时间因素,应用于大规模复杂信息系统建模上,不仅能降低系统模型复杂度,还可以针对模块性能做定量分析。在分析研究电商物流服务系统主要功能和Petri网理论的基础上,给出了一种面向对象时间Petri网(OOTPN)的形式定义,描述了电商物流服务系统的主要对象和业务流程,采用面向对象时间Petri网构建了电商物流服务系统的OOTPN模型,分析了子网的相关时间特性,利用可覆盖性树、关联矩阵对子网的可达性、有界性、守恒性等性质进行了分析,证明了模型系统的可靠性和健壮性,体现了OOTPN模型具有模块化、图形化、结构化特点和可扩展、可重用、易于维护等特性。

E-commerce logistics service system is a large-scale complex system which consists of trade flow,logistics,information flow and capital flow,and it has general features of the discrete event dynamic system.When the object-oriented technology integrates Petri nets and time factor,it can be applied to the modeling of large-scale complex information system.The integration can not only reduce the complexity of system model but also make quantitative analysis for module performance.Based on the study of the main functions of E-commerce logistics service system and Petri Nets Theory,an object-oriented time Petri Net(OOTPN)is defined.The main objects and business process of the E-commerce logistics service system are described.Based on the object-oriented time petri nets,an OOTPN Model for the Ecommerce logistics service system is constructed,and the relevant time characteristics of the sub-network are analyzed.The Coverability Tree and the Incidence Matrix are adopted to analyze the features of the sub-network such as reachability,boundedness and conservativeness,so as to show that the module system is reliable and robust.The study proves that the OOTPN Model is modularized,graphical,structured,extensible,reusable,and easy for maintenance.