文章通过分析美国某国际机场旅客安检服务流程,利用行李与旅客安检流程的相似性,引入时间参数建立广义随机Petri网(GSPN)模型,根据近世代数同构理论、马尔科夫链等相关理论得出可达图且同构MC,进而得到平均托肯数和变迁利用率并找出瓶颈。最后给出该机场安检系统流程的性能评价以及为提高旅客安检服务流程效率的明确改进方向和正确性验证。 By analyzing the similarity of the security screening process between baggage and passengers, the article introduces the time parameter to establish the generalized stochastic Petri net (GSPN) model. According to the theory of modern algebraic isomorphism and Markov chain, Out reachable graph and isomorphic MC, and then get the average number of Token and change utilization and find the bottleneck. Finally, the performance evaluation of the airport security inspection system process and the clear direction of improvement and correctness verification for improving the efficiency of the passenger security inspection service process are given.