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

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

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

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 E-commerce 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.