A Study of Railway Interlocking Logic Modelling Based on Petri Net

被引：0
|
作者：
Kang, Byungwook [1 ]
Lee, Jongwoo [1 ]
机构：
[1] Dept. of Railway Electrical Signaling Engineering, Graduate School of Railway, Seoul National University of Science and Technology, Korea, Republic of
来源：
Transactions of the Korean Institute of Electrical Engineers | 2023年 / 72卷 / 11期
关键词：
Design errors - High safety - Interlocking logic - Interlockings - Logic models - Major accidents - Model-based OPC - Modeling - Railway signal - Safety requirements;
D O I：
10.5370/KIEE.2023.72.11.1575
中图分类号：
学科分类号：
摘要：
引用
收藏
页码：1575 / 1580
相关论文
共 50 条
  • [1] Automatic Generation of Petri Net Supervisors for Railway Interlocking Design
    Durmus, Mustafa S.
    Yildirim, Ugur
    Soylemez, Mehmet T.
    [J]. 2012 2ND AUSTRALIAN CONTROL CONFERENCE (AUCC), 2012, : 180 - 185
  • [2] Railway Fail-Safe Signalization and Interlocking Design Based On Automation Petri Net
    Malakar, Bidhan
    Roy, B. K.
    [J]. 2014 INTERNATIONAL CONFERENCE ON INFORMATION COMMUNICATION AND EMBEDDED SYSTEMS (ICICES), 2014,
  • [3] Modelling Railway Interlocking Tables Using Coloured Petri Nets
    Vanit-Anunchai, Somsak
    [J]. COORDINATION MODELS AND LANGUAGES, PROCEEDINGS, 2010, 6116 : 137 - 151
  • [4] Extending Petri net to reduce control strategies of railway interlocking system
    Khan, Sher Afzal
    Zafar, Nazir Ahmad
    Ahmad, Farooq
    Islam, Saeed
    [J]. APPLIED MATHEMATICAL MODELLING, 2014, 38 (02) : 413 - 424
  • [5] Petri Net Based Modelling of Railway Intersection Collision Avoidance System
    Sarkar, Samriddhi
    Dutta, Animesh
    [J]. 2016 IEEE INTERNATIONAL CONFERENCE ON INTELLIGENT RAIL TRANSPORTATION (ICIRT), 2016, : 356 - 361
  • [6] A Petri-Net-based modelling approach to railway bridge asset management
    Yianni, Panayioti C.
    Rama, Dovile
    Neves, Luis C.
    Andrews, John D.
    Castlo, David
    [J]. STRUCTURE AND INFRASTRUCTURE ENGINEERING, 2017, 13 (02) : 287 - 297
  • [7] A Model Pattern of Railway Interlocking System by Petri Nets
    Sun, Pengfei
    Collart-Dutilleul, Simon
    Bon, Philippe
    [J]. 2015 INTERNATIONAL CONFERENCE ON MODELS AND TECHNOLOGIES FOR INTELLIGENT TRANSPORTATION SYSTEMS (MT-ITS), 2015, : 442 - 449
  • [8] Petri Net Based Modelling of a Career Syllabus
    Carvajal-Schiaffino, R.
    Firinguetti-Limone, L.
    [J]. INTERNATIONAL JOURNAL OF COMPUTERS COMMUNICATIONS & CONTROL, 2014, 9 (04) : 397 - 407
  • [9] Software architectural modelling and verification: a Petri net and temporal logic approach
    Wang, Jiacun
    Zhou, Xianzhong
    Ding, Junhua
    [J]. TRANSACTIONS OF THE INSTITUTE OF MEASUREMENT AND CONTROL, 2011, 33 (01) : 168 - 181
  • [10] Railway bridge asset management using a Petri-Net modelling approach
    Yianni, P. C.
    Rama, D.
    Neves, L. C.
    Andrews, J. D.
    [J]. LIFE-CYCLE OF ENGINEERING SYSTEMS: EMPHASIS ON SUSTAINABLE CIVIL INFRASTRUCTURE, 2017, : 1964 - 1971
12345