邓雪峰 侯益明 冯灵清

摘   要：食堂窗口是高校中排队现象最普遍的服务窗口，在就餐高峰期容易出现排长队的情况。文章对高校食堂的4个服务窗口进行了实地的调查，发现高校食堂窗口的平均到达率为1.3，平均服务率为0.672 413 793，平均队长为3.741 935 485，在此基础上，利用CPN Tools工具对食堂的排队情况进行动态仿真与监测。经实验证明，在可控制的误差范围内，该模型可以有效地对高校食堂的排队情况进行模拟仿真。

关键词：颜色Petri网;食堂窗口;CPN Tools

随着中国教育规模的扩大，高校的各项服务设施的流程优化可以提升服务窗口的服务效率，从而满足日益增长的消费需求。在大学的服务设施中，食堂是一个重要的服务窗口，食堂的排队乱一直是大学食堂广泛存在的现象[1-2]，在就餐高峰期如何优化排队、提升食堂的服务效率一直是一个值得研究的问题。

排队论是一种对排队现象进行分析的数学方法，排队论的思想已经用于多种领域，如计算机系统[3]、物流管理[4]、医院管理[5]、通信系统[6]、远程服务系统[7]等。排队系统同样也可以用于对食堂排队现象进行分析。排队系统的仿真可以模拟研究当前排队系统的相关特性，动态地模拟排队过程，有助于分析排队系统的性能[8]。颜色Petri网[9]（Color Petri Nets，CPN）是一种形式化的建模方法，通过CPN可以简化建模过程，并且可以利用CPN Tools等工具对模型进行仿真运行。本文利用颜色Petri网对食堂排队系统进行建模并仿真，根据食堂的排队实际数据模拟出食堂的排队情况，从而为食堂排队窗口的优化管理提供一种模拟仿真的方法。……