Modeling And Analysis Of E-commerce Systems Based On Extended Logical Petri Nets

The innovation and development of Internet technology has created a number of consumer areas based on the Internet.E-commerce provides users with a convenient and fast consumption experience,affecting all aspects of social and economic life.With the increase of the number of users and the diversification of service types,traditional e-commerce business processes have changed.In e-commerce system that distinguishes user priority,the system will respond differently to users with different priority when dealing with user requests.In e-commerce logistics distribution business,the time efficiency of logistics distribution is a matter of concern for e-commerce services.In the study of business process,establishing reasonable models has reference value for the analysis and optimization of business processes.This paper aims at the time effectiveness of e-commerce logistics delivery system and the situation of e-commerce shopping system processing user's priority.Based on the logical Petri nets and the timed Petri nets,two different Petri net models are proposed,namely logical delay Petri nets and logical data Petri nets.Logical timed Petri nets define the firing duration for each transition based on the logical Petri net.When the transition is enabled,it can be fired immediately,but the firing of the transition must be continued for a corresponding period of time before it is completed,and then the token is exported to its subsequent repository.Logical data Petri nets define the attributes and time to reach set for token based on the logical Petri net.In addition,the firing duration is defined for each transition,and the batch wait time is defined for logical input and output transitions.By redefining the network status information and reachability graph generation algorithm,and giving token priority processing rules and transition initiation rules,the problem of processing the token priority when the transition is fired can be solved.Based on the proposed two kinds of extended logical Petri nets.For e-commerce logistics distribution system,its business process was analyzed,and its business model based on logical timed Petri net was established.The model was simulated to verify its correctness and analyze the timeliness of the system business.For e-commerce system with priority,its business model based on logical data Petri net was established.The correctness of the model is verified by simulation and system reachability graph.The problem of dealing with user priority is analyzed quantitatively,and the problem of dealing with user fairness is explained.