疫情下基于Petri网的值机流程仿真建模与分析_韦潇.pdf

文章编号：1009 444X（2022）04 0418 10疫情下基于 Petri 网的值机流程仿真建模与分析韦潇，石丽娜（上海工程技术大学 航空运输学院,上海 201620）摘要：疫情下机场航站楼增设的健康检测环节使值机流程用时变久，效率低下.对某机场航站楼值机流程现状分析，建立基于 Petri 网值机流程的过程模型，可靠性试验验证模型的正确性.研究发现：1）自助值机、网上值机和柜台值机方式均使旅客托运行李的时间过长；2）与柜台值机相比，其他两种值机方式旅客等待服务的时间更短，更多旅客选择.最后提出通过增设自助托运设备或值机柜台的方式减少旅客排队等待时间，缓解和改善值机流程中的瓶颈环节.关键词：航站楼；Petri 网；值机流程；性能分析；疫情常态化中图分类号：TP301.1 文献标志码：ASimulation modeling and analysis of check-in process based onPetri network under epidemicWEIXiao，SHILina（School of Air Transportation,Shanghai University of Engineering Science,Shanghai 201620,China）Abstract：Under the normalization of the epidemic,the additional health detection link in the airport terminalhas made the check-in process longer and inefficient.On the basis of analysis for current situation of check-inprocess of an airport terminal in China,a process model based on Petri network check-in process wasestablished,and the correctness of the model was verified by reliability test.It is found that:1)Self-servicecheck-in,online check-in and counter check-in all make passengers check in their baggage for too long;2)Compared with counter check-in,the other two check-in methods have a shorter waiting time for passengersto serve and more passengers choose.Finally,it is proposed to reduce the waiting time of passengers in line byadding self-service check-in machines or check-in counters,so as to alleviate and improve the bottleneck in thecheck-in process.Key words：terminal building；Petri network；check-in process；performance analysis；epidemic normalization 自疫情以来，为确保安全运行和满足防疫要求，机场和航空公司通过多项制度来规范疫情下的安全工作，如在进入航站楼旅客服务环节前，增加健康检查，鼓励旅客进行自助值机，减少人员接触，缓解人工值机环节的拥堵，避免疫情发生.但检查环节带来值机等待时间过长的问题，对后面各环节造成滞留和干扰.Petri 网在建模和性能分析方面研究较多，但实际用于航站楼流程方面较少，顾广辉等1 2针对国内机场的离港流程，使用 Service Mode 进行仿真建模，并给出流程优化方法；Soemon 等3开发了一套应用于航站楼旅客离港流程的模拟系统；何川4借鉴电力系统预测方法，引入“相似日”预测思想，在 K 近邻算法基础上增加航班计划状 收稿日期：2021 11 29作者简介：韦潇（1996 ），女，在读硕士，研究方向为交通运输规划与管理.E-mail：通信作者：石丽娜（1977 ），女，副教授，硕士，研究方向为交通运输规划与管理.E-mail： 第 36 卷 第 4 期上 海 工 程 技 术 大 学 学 报Vol.36 No.42022 年 12 月JOURNAL OF SHANGHAI UNIVERSITY OF ENGINEERING SCIENCEDec.2022态模式匹配方法，构建 SDK 近邻模型，能够预测当天旅客到达规律.在 Petri 网的建模和性能分析方面，朱正月5基于层次颜色 Petri 网（HCPN），在HCPN 理论基础上构建模型，并利用 CPN Tools 对系统模型进行仿真分析；肖军等6利用随机 Petri网理论和排队论计算工作流模型的时间性能指标，并提出扩展时延 Petri 网；王晶等7提出一种基于对象 Petri 网和公共视图并结合跨组织工作建模与对象网之间相似性的跨组织工作流建模方法.还有学者研究了 Petri 网在其他领域的应用和旅客离港流程值机部分的相关内容8 12.综上，将Petri 网的建模与分析应用于航站楼流程实际场景的研究中仍有很大的发展空间.1 航站楼值机流程概述值机是旅客办理登机手续的环节，根据旅客使用服务设备的不同，值机分为人工值机、自助值机和网上值机 3 类，主要包括“登机牌办理”和“行李托运”.旅客在到达航站楼前，可以选择通过手机或者电脑进行网上值机.当旅客进入航站楼时，旅客可根据自身情况选择自助值机或人工值机，将相关证件放到自助机器上或交给柜台值机人员进行核对查验.完成“登机牌办理”的旅客可选择是否托运，若托运行李超重，需缴纳超重费才能打印行李牌；若扫描托运行李时发出警报，需对行李开箱检查，确认无误后再传至行李分拣大厅准备登机.旅客办理好值机手续后到安检口进行安检，安检无误后到登机口等待登机.疫情前，大部分旅客倾向选择柜台值机.而疫情常态化下，旅客进入航站楼值机前，增加了健康检查环节，因此鼓励旅客分流选择除柜台值机外的其他值机方式.常态化下值机流程如图 1 所示.健康码、行程码及健康检查提供身份证是否托运选座机器打印登机牌取到登机牌提交机票及身份证值机人员核对值机人员打印登机牌将行李放至传送带是否超重打印条码缴纳超重费将条码贴于登机牌和行李是是否否是否柜台值机是否有可疑物开包检验传至行李房是否旅客等待服务行李安检是否自助值机网上选座是否人工打印是否否是否是图 1 航站楼值机流程Fig.1 Terminal check-in process第 4 期韦潇 等：疫情下基于 Petri 网的值机流程仿真建模与分析 419 2 基于Petri 网的航站楼值机流程模型 2.1 前提条件为保证对值机流程的分析更加精确，本研究给出值机流程模型前提条件：1）旅客在进入流程前已完成购票；2）托运行李中部分装有机场规定的违禁品；3）托运行李中部分存在超重的现象；4）值机人员的工作效率是一样的；5）行李检查设备运行正常；6）旅客严格遵守机场防控要求.2.2 模型构建在设定相关条件和依据值机流程中的各个环节的前提下，构建基于 Petri 网的航站楼值机流程模型，如图 2 所示.it1p1t2p2t3t22p22t23p23t24t25p24t26p25t27t21p21p26t28p27t29t31t30p29t32p30t33p31p3t4p4t16t18p13t19p18p19t20p20p28t34ot5p5t6t8t7p9p6p8p7t9t10t11t12t13t14p10p11p12t15t17p14p15p16p17图 2 航站楼值机流程的 Petri 网模型Fig.2 Petri network model of terminal check-in process 图中：t1为旅客等待接受服务；t2为健康检测；t3为旅客思考是否柜台值机；t4为旅客未选择柜台值机方式；t5为旅客思考是否自助值机；t6为旅客选择自助值机方式；t7为旅客提供身份证；t8为旅客进行选座；t9为自助值机机器打印登机牌；t10为旅客选择网上值机方式；t11为旅客进行网上选座；t12为旅客思考登机牌打印方式；t13为旅客选择自助值机机器打印登机牌；t14为旅客选择柜台打印登机牌；t15为选择柜台值机方式；t16为旅客提交机票及身份证；t17为值机人员进行核对；t18为值机人员打印登机牌；t19为值机人员将条码贴于登机牌上；t20为旅客思考是否需要托运；t21为旅客选择不托运；t22为旅客选择托运；t23为将行李放至 传 送 带；t24为 行 李 未 超 重；t25为 行 李 超 重；t26为旅客缴纳超重费；t27为值机人员打印行李条码；t28为值机人员将条码贴于行李；t29为行李安检；t30为安检系统未报警；t31为安检系统报警；t32为开包检验；t33为行李分拣；t34为将证件还给旅客.2.3 模型的可靠性分析为 确 保 流 程 的 正 确 性，对 构 建 的 值 机 流 程Petri 网进行可靠性分析.该工作流网在结构上满足以下条件：1）初始标识 i 经过一系列变迁，一定能够到达结束标识 o；2）初始标识 i 经过一系列变迁到达结束标识 o 的同时，输出库所中至少有一个托肯的标识；3）工作流网中不含有死变迁.根据上述条件和可靠性定义可知，该工作流网是可靠的，建立的模型也是正确的.3 性能分析对工作流模型进行性能分析时，一般有资源数量受限和不受限两种情况，本研究设定为资源受限情况.旅客值机服务需要花费时间，由于资源受限，如花费时间较长、服务柜台或设备相对较少、人力资源不充足时，旅客就会出现排队等候情况，直到前一位旅客值机完毕，服务资源变成可用状态后才能对排队中下一位旅客进行值机服务.3.1 性能分析的过程与结果tTAt7、t8tTBt16、t17tTCt24、t25、t26tTDt30、t31、t32对值机过程 Petri 模型的性能进行分析，值机过程 Petri 网模型如图 2 所示.对值机流程 SPN 模型进行简化，用复合变迁代替，代替，代替，代替，替代后值机过程模型如图 3 所示.420 上 海 工 程 技 术 大 学 学 报第 36 卷 3.2 时间变迁分类Ti=t1,t2,t3,t5,tTA,t9,t11,t12,tTB,t18,t19,t20,t23,tTC,t27,t28,t29,tTD,t33,t34Ti=t4,t6,t10,t13,t14,t15,t21,t22=1,2,3,5,TA9,11,12,TB,18,19,20,23,TC,27,28,29,TD33,34p3p5p11p20t4t15t6t10t13t14t21t22t41t1511t62t103t131t14t21t221值机流程 SPN 模型中同时含有时间变迁和瞬时变迁.模型中时间变迁集为,瞬时变迁集为，对每个时间变迁定义一个引发速率，,，由此转化为 GSPN 模型，如图 3 所示.当库 所、有 托 肯 时，与、与、与、与都是使能的.设引发的概率为，则引发的概率为；设引发的概率为，则引发的概率为；设引发的概率为，则引发的概率为；设引发的概率为，则引发的概率为.在构造马尔可夫链时，分柜台值机、自助值机、网上值机（自助打印登机牌）和网上值机（人工打印登机牌）4 种方式，并在 4 种值机方式下分别构造马尔可夫链.tAtBtCtDGSPNtAtBtCtDABCD在输入库所 i 和输出库所 o 之间添加 4 个时间变迁、和，使工作流模型为一个连续过程，设 4 个时间变迁、和分别的引发速率为、和.3.3 构造马尔可夫链GSPNGSPNGSPN建立工作流模型的可达标识图，首先要求出模型的可达标识，利用值机流程模型的可达标识表中的数据，对 3 种值机方式分别建立可达标识图.分别构造 3 种值机方式下与同构的 4 条马尔可夫链，建立转移速率矩阵.1）柜台值机实 存 状 态 为 M1、M2、M3、M5、M6、M7、M8、M9、M10、M11、M12、M23、M25、M26、M27、M28、M29、M30、M31、M32、M33、M35、M36、M37、M38、M39、M40、M41、M42、M43、M45、M46、M47、M48、M49、M50、M51、M52、M53、M54、M55、M56、M57、M58.消 失 状 态 为 M4、M13、M14、M15、M16、M17、M18、M19、M20、M21、M22、M24、M34、M44.2）自助值机实 存 状 态 为 M1、M2、M3、M5、M6、M7、M8、M9、M10、M11、M12、M23、M25、M26、M27、M28、M29、M30、M31、M32、M43、M45、M46、M47、M48、M49、M50、M51、M52、M53、M55、M56、M57、M58、M59、M60、M61、M62、M63、M65、M66、M67、M68、M69、M70、M71、M72、M73、M74、M75、M76、M77、M78.消 失 状 态 为 M4、M13、M14、M15、M16、M17、M18、M19、M20、M21、M22、M24、M33、M34、M35、M36、M37、M38、M39、M40、M41、M42、M44、M54、M64.3）网上值机（自助打印）实存状态为 M1、M2、M3、M5、M6、M7、M8、M9、M10、M11、M12、M23、M25、M26、M27、M28、M29、M30、M31、M32、M43、M45、M46、M47、M48、M49、M50、M51、M52、M53、M55、M56、M57、M58、M59、M60、M61、M62、M73、M75、M76、M77、M78、M79、M80、M81、M82、M93、M95、M96、M97、M98、M99、M100、M101、M102、M103、M104、M105、M106、M107、M108.消 失 状 态 为 M4、M13、M14、M15、M16、M17、M18、M19、M20、M21、M22、M24、M33、M34、M35、M36、M37、M38、M39、M40、M41、M42、M44、M54、M63、M64、M65、M66、M67、M68、M69、M70、M71、M72、M74、M94.4）网上值机（人工打印）实 存 状 态 为 M1、M2、M3、M5、M6、M7、M8、M9、M10、M11、M12、M23、M25、M26、M27、M28、it1p1t2p2t3t22p22t23p23tTCtTDp25t27t21p21p26t28p27t29p30t33p31p3t4p4tTBt18p13t19p18p19t20p20p28t34ot5p5t6p9p6p8tTAt9t10t11t12t13t14p10p11p12t15t17p14p16p17图 3 替代后的值机流程 SPN 模型Fig.3 SPN model of replacement check-in process第 4 期韦潇 等：疫情下基于 Petri 网的值机流程仿真建模与分析 421 M29、M30、M31、M32、M43、M45、M46、M47、M48、M49、M50、M51、M52、M53、M55、M56、M57、M58、M59、M60、M61、M62、M83、M85、M86、M87、M88、M89、M90、M91、M92、M93、M95、M96、M97、M98、M99、M100、M101、M102、M103、M104、M105、M106、M107、M108.消 失 状 态 为 M4、M13、M14、M15、M16、M17、M18、M19、M20、M21、M22、M24、M33、M34、M35、M36、M37、M38、M39、M40、M41、M42、M44、M54、M63、M64、M65、M66、M67、M68、M69、M70、M71、M72、M84、M94.GSPNGSPN由于有消失状态，需要对的状态空间进行化简.建立的化简后与同构的马尔可夫链MC，如图 4、图 5、图 6和图 7 所示.M1M2M3M6M7M8M9M10M11M12M5M26M27M28M29M30M31M32M25M36M37M38M39M40M41M42M35M49M50M51M52M45M54M46M47M48M53M55M56M57M581213131313131313131323TC272829TD18181818181818181833193433TD292819191919AM23M33M43TBTBTBTBTBTBTBTBTB(1)2023TC272829TD33(1)2023TC272829TD33(1)2023TC272829TD33(1)2020202020GSPN图 4 与柜台值机过程模型同构的 MCGSPNFig.4 MC isomorphic to counter value process model M1M2M3M6M7M8M9M10M11M12M5M26M27M28M29M30M31M32M2512(11)32599999999919191919192525252525252525(11)3(11)3(11)3(11)3(11)3(11)3(11)3(11)3BM23M46M47M48M49M50M51M52M45M43M56M57M58M59M60M61M62M55M53M66M67M68M69M70M71M72M65M73M74M75M76M77M78M6323TC272829TD33(1)2023TC272829TD33(1)2023TC272829TD33(1)2023TC272829TD33(1)2023TC272829TD33(1)202829TD33342020202020TATATATATATATATATAGSPN图 5 与自助值机过程模型同构的 MCGSPNFig.5 MC isomorphic to self-service check-in process model 422 上 海 工 程 技 术 大 学 学 报第 36 卷 3.4 建立状态方程对集合进行赋值，建立状态方程，再求出每个可达标识的稳定概率值，分别建立柜台值机方式、自助值机方式、网上值机（自助打印登机牌）和网上值机（人工打印登机牌）4 个状态方程组，以柜台值机为例，建立的方程组为 M1M2M3M6M7M8M10M11M12M5M9M23M26M27M28M30M31M32M25M29M43M46M47M48M50M51M52M45M49M53M56M57M58M60M61M62M55M59M73M76M77M78M80M81M82M75M79M93M96M97M98M100M101M102M95M99M104M105M106M107M108M103(11)335(1)12911(11)335(1)12911(11)335(1)12911(11)335(1)12911(11)335(1)12911(11)335(1)12911(11)335(1)12911(11)335(1)12911(11)335(1)129193433TD2928191919191123TC272829TD33(1)202123TC272829TD33(1)2023TC272829TD33(1)2023TC272829TD33(1)2023TC272829TD33(1)2023TC272829TD33(1)20202020202020CGSPN图 6 与网上值机过程模型同构的 MC（自助打印）GSPNFig.6 MC(self-printing)isomorphic to online check-in process model M1M2M3M6M7M8M10M11M12M5M9M23M26M27M28M30M31M32M25M29M43M46M47M48M50M51M52M45M49M53M56M57M58M60M61M62M55M59M83M86M87M88M90M91M92M85M89M93M96M97M98M100M101M102M95M99M104M105M106M107M108M103(11)335121811(11)335121811(11)335121811(11)335121811(11)335121811(11)335121811(11)335121811(11)335121811(11)335121819191919191123TC272829TD33(1)2023TC272829TD33(1)2023TC272829TD33(1)2023TC272829TD33(1)2023TC272829TD33(1)2023TC272829TD33(1)20202020202020213433TD2928DGSPN图 7 与网上值机过程模型同构的 MC（人工打印）GSPNFig.7 MC(manually printed)isomorphic to online check-in process model第 4 期韦潇 等：疫情下基于 Petri 网的值机流程仿真建模与分析 423|x58=5x1x1=0.17x21.7x2=75x337.5x3=39x62x6=3x72x7=39x814x8=39x9x9=2x103x10=32x11x11=32x1212.5x3+7x12=25x525x3=54x2325x6+37.5x23=18x2625x7+14x26=6x2725x8+2x27=18x2825x9+14x28=18x2925x10+14x29=7x3025x11+3x30=5x3125x12+x31=11x3225x5+12.5x23+7x32=4x250.4x23=7x334x26+37.5x33=34x364x27+7x36=11x372x28+x37=17x382x29+7x38=17x394x30+14x39=23x404x31+3x40=21x414x32+x41=27x424x25+12.5x33+7x42=20 x352x33=5x4320 x36+37.5x43=14x4610 x37+7x46=x4710 x38+7x47=7x4810 x39+7x48=14x4920 x40+14x49=17x5020 x41+3x50=15x5120 x42+x51=21x5220 x35+12.5x43+7x52=14x45x49=x5314x50+14x53=3x5414x51+3x54=x5514x52+x55=7x5614x45+7x56=20 x57x1=1123疫情下，机场提倡旅客分流选择自助值机与网上值机，因此旅客选择自助柜台值机的比例有所下降，选择柜台值机的概率=0.5，选择自助值机的概率=0.3，选择网上值机的概率=0.2；而疫情前，大部分旅客更倾向选择柜台值机，选择柜123台值机的概率=0.7，选择自助值机的概率=0.2，选择网上值机的概率=0.1.与疫情下基于 Petri 网构建模型一样，构建疫情前的航站楼值机流程模型，计算出稳定状态时的概率分布，再根据概率分布计算出各性能指标.比较疫情前后 4 种值机方式的过程概率分布，以值机柜台方式为例，结果见表 1.同理可以得出其他 3 种值机方式的过程概率分布.3.5 各性能指标计算 3.5.1 各库所平均托肯数在 3 种值机方式下，根据稳定状态下的概率分布确定疫情前和疫情下值机流程中各个库所的平均托肯数，以柜台值机为例，结果见表 2.3.5.2 各变迁的利用率用稳定状态下的概率值来确定疫情前和疫情下值机过程各变迁的利用率，以值机柜台方式为例，结果见表 3.3.6 各性能指标分析分别对 3 种值机方式的 Petri 网流程进行分析，对疫情前和疫情下各库所中平均托肯数和各变迁的利用率进行比较，对得出的结果进行分析.3.6.1 柜台值机在柜台值机流程中，在 p1、p17、p18、p21、p23、p28、p31和 o 库所的平均托肯数较大，在 t2、tTC、tTD和 tA变迁的利用率较高，原因如下：1）p1（t2）处为旅客在健康检测环节比较拥堵，由于防疫要求，设置的健康检测环节对进入航站楼旅客数量进行控制，导致客流在此处形成瓶颈；2）p17、p18、p21、p31处为旅客等待工作人员办理值机手续的时间过长，疫情前后相比托肯数变少，这是因为航站楼工作人员引导旅客分流选择其他值机方式，且相对疫情前，疫情下旅客流量较少；3）p23、p28（tTC、tTD）处为旅客等待行李称重和行李安检的时间过长，疫情后托肯数变大，这是因为疫情下工作人员值机手续办理处的拥堵状况得到了缓解，因此旅客进行下一个环节行李称重和安检的人数增多，在此处形成拥堵；4）o（tA）处为旅客离开值机出口发生拥堵，疫情前后托肯数变少，这是因为部分旅客选择了其他值机方式进行分流.3.6.2 自助值机在 自 助 值 机 流 程 中，在 p1、p17、p18、p21、424 上 海 工 程 技 术 大 学 学 报第 36 卷 表 1 柜台值机过程稳定状态时的概率分布Table 1 Probability distribution at steady state of counter check-in process 变量概率值变量概率值疫情前疫情下疫情前疫情下X10.035 630.024 73X360.001 570.000 99X20.145 48X370.007 340.010 27X30.004 190.003 30X380.000 900.000 97X50.001 500.001 65X390.000 740.000 69X60.003 210.003 17X400.001 540.001 29X70.001 210.002 11X410.000 930.000 76X80.000 050.000 10X420.000 090.000 07X90.000 010.000 04X430.000 060.000 03X100.000 0050.000 02X450.065 380.004 69X110.000 000 40.000 002X460.002 410.001 51X120.000 000 010.000 000 06X470.090 240.113 21X230.002 720.001 53X480.014 170.017 56X250.022 190.015 55X490.007 610.009 27X260.011 900.007 58X500.008 080.009 15X270.034 850.026 50X510.002 860.002 84X280.003 970.003 10X520.000 220.000 20X290.003 110.002 46X530.007 610.009 27X300.006 250.004 99X540.073 220.085 95X310.003 760.003 00X550.259 710.297 57X320.000 340.000 27X560.037 540.042 91X330.000 160.000 09X570.058 900.018 30X350.045 650.003 19X580.178 180.123 66 表 2 柜台值机过程各库所的平均托肯Table 2 Average tokens for each depot of counter check-in process 库所平均托肯数库所平均托肯数疫情前疫情下疫情前疫情下i0.035 630.024 73P210.170 2650.060 132P10.145 48P220.019 090.013 25P20.010 1750.010 392P230.133 640.152 09P300P250.019 090.021 73P140.089 090.064 98P260.019 080.021 73P160.058 920.018 32P270.089 0950.101 4P170.191 030.158 46P280.267 260.304 172P180.436 980.454P300.038 190.043 45P190.007 130.004 95P310.193 620.043 38P2000o0.178 180.123 66第 4 期韦潇 等：疫情下基于 Petri 网的值机流程仿真建模与分析 425 p23和 o 库 所 的 平 均 托 肯 数 较 大，在 t2、tTC、t29、tTD和 tB变迁的利用率较高，原因如下：1）p1（t2）处为旅客在健康检测环节比较拥堵，由于疫情原因，设置健康检测环节控制了进入航站楼旅客的数量，导致旅客在此处易形成瓶颈；2）p17、p18、p21处为旅客在自助值机机器上办理值机手续的时间过长，疫情后托肯数变少，航站楼工作人员引导建议旅客选择自助值机方式进行值机，且疫情下航站楼旅客流量变少；3）p23（tTC、t29、tTD）处为旅客进行自助行李称重和等待行李进入安检机器的时间过长，疫情后托肯数变小，这是因为疫情下无需行李托运的旅客更多地选择自助值机方式，并且在工作人员的帮助下旅客熟练使用自助机器，能够较快办理好值机手续；4）o（tB）处为旅客离开值机出口发生了拥堵，疫情后托肯数变大，相较于疫情前，分流选择自助值机的旅客数量增加.3.6.3 网上值机在网上值机流程中，在 p1、p17、p18、p21、p23、p28和 o 库所的平均托肯数较大，在 t2、tTC、tTD、tC和 tD变迁的利用率较高，原因如下：1）p1（t2）处为旅客在健康检测环节比较拥堵，由于疫情原因设置的健康检测环节控制了进入航站楼旅客的数量，导致旅客在此处形成瓶颈；2）p17、p18、p21处为旅客在自助值机机器上打印登机牌或旅客等待工作人员打印登机牌的时间过长，疫情后托肯数变少，这是因为选择网上值机的旅客人群为年轻人的概率较大，使用自助值机设备较为熟练，或者疫情后航站楼旅客流量变少，使柜台人工服务没有疫情前拥堵；3）p23（tTC、tTD）处为旅客进行行李称重或等待工作人员进行行李称重的时间过长，疫情后托肯数变小，这是因为疫情时考虑健康安全，选择网上值机的旅客大多没有托运行李需要，因此缓解了自助值机和柜台值机的拥堵状况，旅客能够快速进入安检流程；4）o（tC、tD）处为旅客离开值机出口发生了拥堵，疫情前后托肯数变化不大，这是因为选择网上值机方式的旅客大多是年轻旅客，变动量不大.综上，疫情前，机场旅客流量更多，但选择自助值机和网上值机的旅客数量较少；疫情下，由于增设的健康检测环节控制了进入值机流程中的旅客数量，并且旅客流量较少，相较疫情前，选择自助 值 机 和 网 上 值 机 的 旅 客 数 量 比 例 增 加.1）针对疫情下增设的健康检测处造成的瓶颈状况，可以采用增设多个健康检测点，或者引导旅客在等待进入健康检测过程中，提前将健康码和行程码上传至航空 App，可以减少旅客等待服务时间和健康检测环节的服务时间.2）针对旅客等待值机服务时间较长，建议工作人员引导旅客分流选择不同的值机方式，不仅要根据旅客自身需要选择，更要考虑到特殊场景下的旅客安全和航站楼值机流程的效率来加以引导.可以在进入航站楼入口处设置一个问询台，将旅客分为无托运行李的旅客和有托运行李旅客：无托运旅客直接选择网上值机或者自助值机；有托运行李旅客可以一部分先去自助值机打印登机 表 3 柜台值机过程各变迁的利用率Table 3 Utilization rates for each variation of counter check-in process 变迁利用率变迁利用率疫情前疫情下疫情前疫情下t10.035 630.024 73tTC0.133 640.152 09t20.145 48t270.019 090.021 73t30.010 1750.010 392t280.019 080.021 73tTB0.089 090.064 98t290.089 0950.101 4t180.058 920.018 32tTD0.267 260.304 172t190.084 150.026 15t330.038 190.043 45t200.007 130.004 95t340.058 90.018 3t230.019 090.013 25tA0.178 180.123 66 426 上 海 工 程 技 术 大 学 学 报第 36 卷牌，然后去人工柜台托运行李，另一部分直接去人工柜台打印登机牌和托运行李.4 结语基于 Petri 网对航站楼值机环节进行研究，分析疫情前后航站楼值机流程，针对疫情常态化下的机场管理，提倡旅客分流选择自助值机和网上值机，分散旅客集中选择人工值机的压力，有效地改善值机过程中部分环节过于拥堵的状况.可以通过对值机环节中的拥堵部分增添人力物力和增设服务点来提高值机流程的性能和效率.而相应解决方案的效果与成效，是未来要研究的重点.参考文献：顾广辉,许俐,夏蔷薇.航站楼离港流程仿真研究J.科技信息，2011，33（2）：91 93.1 李耐毅.航站楼离港航班动态性仿真研究J.科技前沿，2012，6（2）：40 41.2 SOEMON T,TOMOKI O.Simulation analysis ofinternational departure passenger flow in an airportterminalC/Proceedings of the 2003 Winter SimulationConference.New Orleans:IEEE,2003.3 何川.基于改进K近邻算法的航站楼离港旅客到达规律研究D.天津:中国民航大学,2019.4 朱正月.基于层次颜色Petri网的z仓储作业系统建模与仿真J.安庆师范大学学报:自然科学版，2020，26（4）：72 79.5 肖军,邓海鸿,高允锋,等.基于Petri网的工作流建模及时间性能分析J.吉林大学学报:信息科学版，2009，27（1）：104 112.6 王晶,胡昊,余萍,等.结合公共视图和对象Petri网的跨组织流程建模J.计算机科学与探索，2014，8（1）：18 27.7 文军.基于灰色马尔可夫链模型的航空货运量预测研究J.武汉理工大学学报:交通科学与工程版，2010，34（4）：695 698.8 李建莲.基于Petri网的智能控制系统建模仿真与性能分析D.南昌:江西师范大学,2011.9 王洁宁,王安国,董健康,等.基于Agent的机坪服务SPN建模与仿真J.计算机工程，2013，39（3）：285 288.10 杨扬.人工值机柜台动态分配策略研究D.天津:中国民航大学,2017.11 陆迅,唐小卫,朱金福.航站楼旅客离港流程仿真研究J.西南交通大学学报，2009，44（1）：135 140.12（编辑：白玉新）第 4 期韦潇 等：疫情下基于 Petri 网的值机流程仿真建模与分析 427