Abstract: Terminal security throughput has been the focus of attention. In order to optimize airport security procedures, reduce the number of security channels and reduce operating costs, an optimization model based on Petri net and queuing theory is proposed. The homogeneous Markov chain is built by using Petri nets, and the screening process is analyzed. The token, library, change of Petri nets model respectively mapped to passengers and baggage, their state and each step of the security. The weight of limiting factors on security procedures is analyzed and the security check process bottlenecks is found out. So a new model is put forward, and verify its reliability. Based on the reliability of the model, the security check layout is analyzed and its layout is adjusted. The results show that the standard deviation of token number and transition utilization in Petri net decreases, and the waiting time tends to equalization, which improve the efficiency. According to queuing theory, the number of open channels is optimized, and corresponding improvement measures are given.

Key words: Terminal, security check process, Petri net, queuing theory, passenger throughput

摘要： 航站楼安检吞吐量的问题一直是人们关注的焦点。为优化机场安检流程，减少安检通道数量，降低运行成本，提出了基于Petri网和排队论的优化模型。利用Petri网构建了同构的马尔科夫链对安检流程进行分析，将Petri网模型中的令牌、库所、变迁分别映射为旅客与行李、旅客与行李所处的状态、安检的每一个步骤，分析安检流程的限制因素所占权重，找出了安检流程瓶颈，提出新的模型，并验证其可靠性。在保证模型可靠性基础上，对安检布局进行了分析，并对其布局规划进行了调整。结果表明，Petri网中的令牌数和变迁利用率的标准差减小，等待时间趋于平均化从而提高了效率。根据排队论，对开放通道数量进行优化，从而给出相应的改进措施。

关键词: 航站楼, 安检流程, Petri网, 排队论, 吞吐量