Safety Analysis of Level Crossing Surveillance Systems Using Fuzzy Petri Nets

被引：0
|
作者：
Tao, Chi-Chung [1 ]
Lin, Tsung-Chin [1 ]
机构：
[1] Tamkang Univ, Taipei, Taiwan
来源：
PROCEEDINGS OF THE INTERNATIONAL CONFERENCE ON INFORMATION MANAGEMENT, INNOVATION MANAGEMENT AND INDUSTRIAL ENGINEERING, VOL 1 | 2008年
关键词：
D O I：
10.1109/ICIII.2008.175
中图分类号：
TP [自动化技术、计算机技术];
学科分类号：
0812 ;
摘要：
A backward safety analysis model that can deal with dangerous status by virtue of fuzzy theory is proposed in this paper. Fuzzy Petri Nets (FPN) is developed and applied to the safety analysis for three types of level crossing surveillance systems of Taiwan Railway Administration. The numerical results of proposed FPN models are fairly plausible.
引用
收藏
页码：354 / 357
页数：4
相关论文
共 50 条
  • [1] Safety analysis method using Fuzzy Petri nets
    Son, HS
    Seong, PH
    1997 ANNUAL MEETING OF THE NORTH AMERICAN FUZZY INFORMATION PROCESSING SOCIETY - NAFIPS, 1997, : 412 - 417
  • [2] Stability analysis of fuzzy control systems using petri nets
    Hasegawa, T
    Furuhashi, T
    Uchikawa, Y
    1996 BIENNIAL CONFERENCE OF THE NORTH AMERICAN FUZZY INFORMATION PROCESSING SOCIETY - NAFIPS, 1996, : 97 - 101
  • [3] SAFETY ANALYSIS USING PETRI NETS
    LEVESON, NG
    STOLZY, JL
    IEEE TRANSACTIONS ON SOFTWARE ENGINEERING, 1987, 13 (03) : 386 - 397
  • [4] Using Colored Petri net for Level-Crossing safety analysis
    Chen Lijie
    Liu Hongjie
    Wang Weiqi
    2018 INTERNATIONAL CONFERENCE ON INTELLIGENT RAIL TRANSPORTATION (ICIRT), 2018,
  • [5] Modeling fuzzy reasoning using High Level Fuzzy Petri Nets
    Scarpelli, H
    Gomide, F
    Pedrycz, W
    INTERNATIONAL JOURNAL OF UNCERTAINTY FUZZINESS AND KNOWLEDGE-BASED SYSTEMS, 1996, 4 (01) : 61 - 85
  • [6] ANALYSIS OF CONTROLLED TECHNOLOGICAL SYSTEMS USING NIGH LEVEL PETRI NETS
    GERZSON, M
    HANGOS, KM
    COMPUTERS & CHEMICAL ENGINEERING, 1995, 19 : S531 - S536
  • [7] Fuzzy rule base systems verification using high-level Petri nets
    Yang, SJH
    Tsai, JJP
    Chen, CC
    IEEE TRANSACTIONS ON KNOWLEDGE AND DATA ENGINEERING, 2003, 15 (02) : 457 - 473
  • [8] SAFETY ANALYSIS USING PETRI NETS.
    Leveson, Nancy G.
    Stolzy, Janice L.
    IEEE Transactions on Software Engineering, 1987, SE-13 (03) : 386 - 397
  • [9] Requirements specification and analysis of digital systems using fuzzy and marked Petri nets
    Shen, VRL
    Lai, FP
    IEEE TRANSACTIONS ON SYSTEMS MAN AND CYBERNETICS PART B-CYBERNETICS, 1998, 28 (05): : 748 - 754
  • [10] Safety requirements and p-time Petri nets: A Level Crossing case study
    Dutilleul, S. Collart
    Defossez, F.
    Bon, P.
    2006 IMACS: MULTICONFERENCE ON COMPUTATIONAL ENGINEERING IN SYSTEMS APPLICATIONS, VOLS 1 AND 2, 2006, : 1118 - +
12345