Extended Colored Logical Petri Nets And Their Application In E-Commerce Systems

With the development and maturity of network communication technology,e-commerce plays an important role in daily life.As more and more people participate in the process of e-commerce,their requirements for e-commerce are more and more detailed.This requires that the model of e-commerce system can not only simulate the large-scale system,but also accurately fulfill the requirements of users.Petri nets are a kind of formal modeling tools,which can accurately describe the operation process of the system.The structural properties of Petri nets can reflect the characteristics of Petri nets in operation.There has been a lot of work using Petri nets to describe and analyze e-commerce systems.Colored logic Petri nets(CLPNs)can describe e-commerce systems and have solved the problem caused by logic output uncertainty in logic Petri nets(LPNs).However,when CLPNs describe multiple subsystems running in the system,they need to establish a subnet model for each subsystem.In order to reduce network redundancy and improve network operation efficiency,this paper proposes the concept of extended colored logic Petri nets(ECLPNs),analyses their properties,and proves the equivalence between ECLPNs and CLPNs.In order to facilitate the representation and calculation of reachable marking,the prime number representation of multiple sets is introduced,and the product of prime powers is used to represent a multiple set.By defining the incidence matrix for ECLPNs,the calculation formula of one-step reachable marking and the construction method of reachable tree are given.The state equation of ECLPN is given,and the conservativeness and consistency of ECLPN are analyzed.In addition,ECLPNs and CLPNs are used to build models for the same e-commerce system,and by comparing the number of places,the number of transitions,the number of directed arcs and the number of reachable markings of the two models,it is concluded that the ECLPN model has a more concise structure.A composition of ECLPN models is proposed for a complex e-business system composed of multiple participants,and the inheritance conditions of robustness and strict conservativeness after the composition are analyzed.According to the top-down manner,the process of establishing the composite ECLPN model is presented.Finally,a complex electronic commerce system is modeled using composite ECLPN.Since the concept of "combined CLPN" has net been proposed,and the CLPN model has the same scale as the equivalent LPN model,this section compares the combined ECLPN model with the combined LPN model.From the comparison of the number of places,the number of transitions and the number of directed arcs of the model,it can be concluded that the combined ECLPN model is more concise.This paper improves the definition of CLPN,extends the content and method of CLPN,and provides a new reference for e-commerce modeling method.