Research on Verification Method of Logistics Matching Process Optimization Scheme Based on Timed Petri Net

Optimizing the logistics matching process can enhance user satisfaction, enhance order processing capability and improve the degree of logistics automation, which is of great significance to promote economic and social development. After optimizing the logistics matching process, it is difficult to verify the feasibility of the optimization scheme in a short time through practice due to the rapid changes in the market. The Timed Petri Net theory, with the introduction of time parameters, can be used to model and simulate different schemes of the logistics matching process. By comparing and analyzing the simulation results of the optimization scheme and the original scheme, a conclusion on the verification of the optimization scheme is drawn, which provides a new idea for the feasibility verification of the logistics matching process optimization scheme.