Petri Net-Based Functional Representation of a Level Crossing

被引:0
作者
Lobotkova, Zuzana [1 ]
Janota, Ales [1 ]
机构
[1] Univ Zilina, Fac Elect Engn, Dept Control & Informat Syst, Zilina 01026, Slovakia
来源
MODERN TRANSPORT TELEMATICS | 2011年 / 239卷
关键词
approach; level crossing; Petri net; place; protection; safety; specification; transition;
D O I
暂无
中图分类号
TP [自动化技术、计算机技术];
学科分类号
0812 ;
摘要
It is commonly known that the main entity that causes accidents on level crossings is a user of the level crossings. User's behaviour in the area of the level crossing heavily depends on the type of its protection. According to the Slovak level crossings statistics performed by the Slovak Rails, the "most dangerous" crossings are the ones equipped with a level crossing signalling system and an optical warning device. The main aim of the paper is to present a functional representation concept of a level crossing with various types of protection. The modelled level crossing has defined parameters with regard to the Slovak conditions. The Petri nets are used for the description of system behaviour. In conclusion, model comprises of a simple set of states and events that respond to transitions between these states in discrete time periods.
引用
收藏
页码:118 / 125
页数:8
相关论文
共 50 条
  • [21] Petri net-based modeling and control of the multi-elevator systems
    Ahmad, Farooq
    Fakhir, Ilyas
    Khan, Sher Afzal
    Khan, Yaser Daanial
    NEURAL COMPUTING & APPLICATIONS, 2014, 24 (7-8) : 1601 - 1612
  • [22] An approach to repair Petri net-based process models with choice structures
    Qi, HongDa
    Du, YuYue
    Qi, Liang
    Wang, Lu
    ENTERPRISE INFORMATION SYSTEMS, 2018, 12 (8-9) : 1149 - 1179
  • [23] BioNetSim: a Petri net-based modeling tool for simulations of biochemical processes
    Gao, Junhui
    Li, Li
    Wu, Xiaolin
    Wei, Dong-Qing
    PROTEIN & CELL, 2012, 3 (03) : 225 - 229
  • [24] A Petri Net-Based Byzantine Fault Diagnosis Method for Service Composition
    Fan, Guisheng
    Yu, Huiqun
    Chen, Liqiong
    Liu, Dongmei
    2012 IEEE 36TH ANNUAL COMPUTER SOFTWARE AND APPLICATIONS CONFERENCE (COMPSAC), 2012, : 42 - 51
  • [25] Petri Net-Based Reliability Assessment and Migration Optimization Strategy of SFC
    Rui, Lanlan
    Chen, Xushan
    Gao, Zhipeng
    Li, Wenjing
    Qiu, Xuesong
    Meng, Luoming
    IEEE TRANSACTIONS ON NETWORK AND SERVICE MANAGEMENT, 2021, 18 (01): : 167 - 181
  • [26] A Petri net-based approach for supporting aspect-oriented modeling
    Guan L.
    Li X.
    Hu H.
    Lu J.
    Frontiers of Computer Science in China, 2008, 2 (04): : 413 - 423
  • [27] A Stochastic Petri Net-Based Model of the Involvement of Interleukin 18 in Atherosclerosis
    Formanowicz, Dorota
    Rybarczyk, Agnieszka
    Radom, Marcin
    Tanas, Krzysztof
    Formanowicz, Piotr
    INTERNATIONAL JOURNAL OF MOLECULAR SCIENCES, 2020, 21 (22) : 1 - 23
  • [28] Hardware implementation of real-time Petri net-based controllers
    Chang, N
    Kwon, WH
    Park, J
    ALGORITHMS AND ARCHITECTURES FOR REAL-TIME CONTROL 1997, 1997, : 245 - 250
  • [29] A Public Blockchain-based Identity Management Scheme and Petri Net-based Verification
    Liu, Ji-qin
    Wu, Yan
    Lshi, Lei-lei
    Li, Zhi-yuan
    Liu, Chen
    20TH INT CONF ON UBIQUITOUS COMP AND COMMUNICAT (IUCC) / 20TH INT CONF ON COMP AND INFORMATION TECHNOLOGY (CIT) / 4TH INT CONF ON DATA SCIENCE AND COMPUTATIONAL INTELLIGENCE (DSCI) / 11TH INT CONF ON SMART COMPUTING, NETWORKING, AND SERV (SMARTCNS), 2021, : 361 - 368
  • [30] Hippo-CPS: A Tool for Verification and Analysis of Petri Net-Based Cyber-Physical Systems
    Wisniewski, Remigiusz
    Bazydlo, Grzegorz
    Wojnakowski, Marcin
    Poplawski, Mateusz
    APPLICATION AND THEORY OF PETRI NETS AND CONCURRENCY, PETRI NETS 2023, 2023, 13929 : 191 - 204