随着人们生活节奏的不断加快,在日常生活中,对于日常的饮食,不再仅仅局限于去公司餐厅、学校食堂等地方就餐,外卖行业的兴起,为人们的日常生活,提供了极大的便利。同时在近几年互联网技术的高速发展以及智能手机不断更新换代的时代背景下,人们只需在自己的移动终端设备上进行简单的操作,便可以进行外卖订餐服务,不仅能够避免高峰期排队进行就餐,同时也节约了自己的时间,这种新兴的饮食方式极大的推动了外卖平台的发展。现如今吃外卖的就餐方式已经逐渐成为了人们生活中不可或缺的一部分,每天在就餐的时间段,总能看到各个外卖公司的配送员在忙碌与奔波。但是,就外卖配送过程中仍存在一些问题,比如外卖系统在分配订单存在多个配送员同时抢一个订单的问题,导致一边操作手机抢单,同时一边进行配送,从而出现交通安全问题,以及一个配送员携带过多份订单,从而导致配送速度下降的问题等等。本文针对以上所提出可能出现的种种问题,提出相对合理的解决机制,并通过Petri网的形式进行模拟呈现,具体过程如下:根据整个配送流程,从系统建模的思想出发来进行描述刻画,相比传统的建模方法,Petri网拥有它自己独特的建模优势:Petri网不仅可以刻画系统模型的结构,而且可以描述该系统模型相应的动态行为。在建模过程中,通过结合基于对象的思想方法,将系统分为四个对象类:用户类、外卖系统、外卖商家类、外卖配送员类来进行构造。同时,将系统功能也进行模块化,具体实现步骤分为:第一步,用户向外卖系统提交订单,外卖系统同时向配送员和相应外卖商家发送订单信息并等待确认信号。第二步,外卖系统同时接收到外卖配送员以及外卖商家的确认接受订单信号,并告知用户订餐成功。第三步,外卖配送员根据相应订单前往外卖商家进行取餐,外卖商家根据配送员所提供订单信息核实并交付与其外卖商品,配送员取餐成功。第四步,外卖配送员根据相应订单信息进行配送外卖商品,到达目的地后,同用户所提供的订单信息核对,确认无误后,配送成功。第五步,用户确认收货,外卖系统将订单结束消息传递给外卖商家及配送员,订单正式结束。此外,在原型Petri网模型的基础上,运用有色Petri网（CPN）构建方法,对外卖配送系统模型进行进一步刻画描述,并运用基于对象的思想方法加以辅助构建,同时,根据传统的Petri网理论验证方法,提出变迁发生图的新型论证方法,并结合其它传统的静态数学方法,分别对各个功能模块进行合理性验证,最后在仿真软件CPN Tools进行模拟仿真。