An Analysis of passenger Security Process Based on Petri Net

摘要

In order to optimize the passenger security process, in the paper, a passenger security service process of an international airport in the United States were analyzed and a detailed Petri network model were given. Then, the Markov chain, which is isomorphic to the model were established according to the reach-ability table of Petri net, to analyze the performance of the model. Through compute the stable probability distribution of each state of the Markov chain, the performance indexes such as the average tokens number and resource utilization rate of each link were obtained. The analysis found the mainly reasons to cause the delay.