Study On The Algorithm Of Tobacco Logistics Distribution Network Based On Formal Logic

The urban tobacco logistics distribution system is a complex system composed of many tobacco producers,tobacco storage warehouses,tobacco logistics distribution centers,logistics distribution routes and multi-level distribution points.In order to meet the stability of tobacco goods distribution,the flexibility of the route,the rapid and economical logistics,the use of networked tobacco distribution and hierarchical distribution is generally adopted.The topology analysis of tobacco logistics distribution network models the urban tobacco logistics distribution route into an network,which has the function of processing the random on-off state change of its multi-branch in real time to generate the best sub-network block to realize tobacco logistics.Reasonable partitioning and optimized path delivery.This paper takes tobacco logistics distribution as the research object and Petri net theory as the model,this paper uses Petri net to model the distribution route system of tobacco logistics e nterprises and conduct formal logic analysis.Then the model is extended,and the static network analysis model of tobacco logistics is extended.The obtained dynamic analysis model can realize the dynamic division of the sales area under the condition of immediate switching of the distribution path,and verify the analysis algorithm through a simulation example.It shows the effectiveness of the colored Petri net topology analysis model given in this paper in the regional planning of tobacco distribution and sales.Through the given logic analysis algorithm of tobacco product logistics distribution network form,the scientific allocation of tobacco distribution route is realized,the repetitive work is reduced,the balanced distribution of logistics resources is ensured,and the distribution efficiency of tobacco product logistics is greatly improved.