Optimization on Checkpoint based on Petri Net

This paper focus on searching the bottleneck in the security checkpoint to meet the trade-off between the security and convenience. we allocate certain time to each step which meet the duration of Poisson distribution. Then, with the airport security model based on Petri net, the whole process is simulated by programming and the relevant indexes, such as the average number of tokens, equipment utilization and passenger throughput, are obtained by the homogeneous Markov Chain to the Petri Net. To prove the reliability of our solution, it is simulated and the results show that passenger throughput has been greatly improved 17.6%.