An Analysis of passenger Security Process Based on Petri Net

被引：0
|
作者：
Wu, Haoran [1 ]
机构：
[1] North China Elect Power Univ, 2 Beinong Rd, Beijing 102206, Peoples R China
来源：
PROCEEDINGS OF THE 7TH INTERNATIONAL CONFERENCE ON EDUCATION, MANAGEMENT, INFORMATION AND MECHANICAL ENGINEERING (EMIM 2017) | 2017年 / 76卷
关键词：
Petri net model; Markov chain; Security process;
D O I：
暂无
中图分类号：
TP39 [计算机的应用];
学科分类号：
081203 ; 0835 ;
摘要：
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.
引用
收藏
页码：883 / 887
页数：5
相关论文
共 50 条
  • [1] Petri-net based attack time analysis in the context of chemical process security
    Zhou, Jianfeng
    Reniers, Genserik
    Zhang, Laobing
    [J]. COMPUTERS & CHEMICAL ENGINEERING, 2019, 130
  • [2] Modeling and Analysis of Task Synchronization Process Based on Petri Net
    Zhou, Shuang' E.
    Xiong, Guoping
    [J]. 2012 WORLD AUTOMATION CONGRESS (WAC), 2012,
  • [3] Petri Net Based Business Process Simulation and Analysis Technology
    Wang, Haining
    Sun, Shouqian
    Xu, Juanfang
    Shi, Fuqian
    Zou, Ning
    [J]. PROCEEDINGS OF THE INTERNATIONAL CONFERENCE ON INFORMATION MANAGEMENT, INNOVATION MANAGEMENT AND INDUSTRIAL ENGINEERING, VOL II, 2008, : 148 - 152
  • [4] Petri-Net Based Safety Analysis of Process Systems
    Zhou, Jianfeng
    [J]. 2017 IEEE INTERNATIONAL CONFERENCE ON INDUSTRIAL ENGINEERING AND ENGINEERING MANAGEMENT (IEEM), 2017, : 1217 - 1221
  • [5] Security Analysis based on Petri Net for Separation Mechanisms in Smart Identifier Network
    Yao, Linyuan
    Dong, Ping
    Du, Xiaojiang
    Zhang, Hongke
    [J]. 2017 26TH INTERNATIONAL CONFERENCE ON COMPUTER COMMUNICATION AND NETWORKS (ICCCN 2017), 2017,
  • [6] Security Analysis and Enhancement of INTERBUS Protocol in ICS Based on Colored Petri Net
    Feng, Tao
    Liu, Chengfan
    Gong, Xiang
    Lu, Ye
    [J]. INFORMATION, 2023, 14 (11)
  • [7] PETRI-NET-BASED DEADLOCK ANALYSIS OF PROCESS ALGEBRA PROGRAMS
    RONDOGIANNIS, P
    CHENG, MHM
    [J]. SCIENCE OF COMPUTER PROGRAMMING, 1994, 23 (01) : 55 - 89
  • [8] Petri net-based simulation and analysis of the software development process
    Topic, Gordan
    Jevtic, Dragan
    Kunstic, Marijan
    [J]. KNOWLEDGE-BASED INTELLIGENT INFORMATION AND ENGINEERING SYSTEMS, PT 2, PROCEEDINGS, 2008, 5178 : 418 - +
  • [9] Soundness Analysis of the Process of the Automatic Vending System Based on Petri Net
    Chen, Lina
    Fang, Xianwen
    Liu, Xiangwei
    [J]. PROCEEDINGS OF THE 3RD INTERNATIONAL CONFERENCE ON MATERIAL, MECHANICAL AND MANUFACTURING ENGINEERING, 2015, 27 : 853 - 858
  • [10] Scheduling of Response Process based on Petri Net
    An, Jin-zhao
    [J]. 2011 SECOND ETP/IITA CONFERENCE ON TELECOMMUNICATION AND INFORMATION (TEIN 2011), VOL 2, 2011, : 324 - 327
12345