Formal Modeling Based On Colored Petri Nets And Construction Of Food Delivery Model

With the continuous acceleration of people's pace of life,in daily life,the daily diet is no longer limited to the company's restaurant,school canteen and other places.The rise of take-out industry provides great convenience for our daily life.At the same time,the rapid development of science and technology and upgrading of smart phones in recent years,people just take their mobile devices with simple operation and can get the take-out-service,not only avoid the peak queue for eating,but also save our time.The take-away platform has been heavily promoted by the development of the way of eating.For example,Meituan takeout,Eleme and other takeout ordering platforms.Eating take-away now has become an integral part of our life,during the every meal time,we always see each delivery company deliverymen fall in busy working.However,in terms of delivery and distribution process,there are some problems,such as delivery system in the distribution of abnormal orders,and there are multiple deliverymen take an order at the same time,lead to the person operating mobile while for distribution and get the traffic safety problems.And a deliveryman carries too many orders,which leads to the problems of slow delivery and so on.A relatively reasonable solution mechanism is proposed and simulated by the form of Petri net The specific process is as follows.According to the whole distribution process,the description is carried out from the idea of system modeling.Compared with the traditional modeling methods,Petri net has its own unique advantages:Petri net can not only depict the structure of the system,but also describe the dynamic behavior of the system.In the modeling process,combining with the object-based thinking method,and the system is divided into four object parts:user,takeaway system,takeaway merchant,and deliverer.At the same time,the system functions are also modularized,and the specific implementation steps are divided into five steps.First,the user submits an order to the delivery system,and the delivery system simultaneously sends the order information to the deliverer and delivery merchants,and waits for confirmation signal.In the second step,the delivery system receives the confirmation of order acceptance signals from the deliveryman and the merchant at the same time,and informs the user the signal of the successful order.Third,the deliveryman goes to the takeaway merchant to take food according to the corresponding order.The deliveryman verifies and delivers the takeaway goods according to the order information provided by the deliveryman,and the deliveryman takes food successfully.Fourth,the deliveryman delivers the take-away goods according to the corresponding orders,and checks with the order information provided by the user.After confirmation,the delivery is successful.The fifth step:the user confirms the receipt and the delivery system delivers the message of the end of the order to the delivery merchants and deliverer,and the order end.In addition,based on the prototype of Petri net model,using colored Petri net(CPN)method to make the distribution system model for further characterization,and take with the method based on the idea of object to building.At the same time,to the traditional method of Petri net theory,presenting a new verification method of transtion garph,and combined with other traditional static mathematical methods to prove the reasonable of various functional modules.Finally,uses the simulation software CPN Tools for simulation.