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
来源
关键词
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 Coordination Component for Collaborative Design
    Huang, Hong-Zhong
    Xu, Huan-Wei
    Zu, Xu
    CONCURRENT ENGINEERING-RESEARCH AND APPLICATIONS, 2010, 18 (03): : 199 - 205
  • [22] Petri net-based modeling of hybrid dynamic systems
    Gotesman, M
    LopezBenitez, N
    ETFA '96 - 1996 IEEE CONFERENCE ON EMERGING TECHNOLOGIES AND FACTORY AUTOMATION, PROCEEDINGS, VOLS 1 AND 2, 1996, : 553 - 559
  • [23] Time Petri Net-Based Software Reliability Analysis
    Yang, Maoqiang
    INTELLIGENCE COMPUTATION AND EVOLUTIONARY COMPUTATION, 2013, 180 : 231 - 235
  • [24] Petri net-based modeling and verification of confidentiality policy
    Zhang, Zhaoli
    Hong, Fan
    Liao, Junguo
    Huazhong Keji Daxue Xuebao (Ziran Kexue Ban)/Journal of Huazhong University of Science and Technology (Natural Science Edition), 2007, 35 (10): : 28 - 31
  • [25] HiWorD: A Petri net-based hierarchical workflow designer
    Benatallah, B
    Chrzastowski-Wachtel, P
    Hamadi, R
    O'Dell, M
    Susanto, A
    THIRD INTERNATIONAL CONFERENCE ON APPLICATION OF CONCURRENCY TO SYSTEM DESIGN, PROCEEDINGS, 2003, : 235 - 236
  • [26] Petri Net-based Smart Parking Information System
    Makke, Omar
    Gusikhin, Oleg
    PROCEEDINGS OF THE 6TH INTERNATIONAL CONFERENCE ON VEHICLE TECHNOLOGY AND INTELLIGENT TRANSPORT SYSTEMS (VEHITS), 2020, : 385 - 393
  • [27] Stochastic Petri net-based modelling of the durability of renderings
    Ferreira, C.
    Neves, L. Canhoto
    Silva, A.
    de Brito, J.
    AUTOMATION IN CONSTRUCTION, 2018, 87 : 96 - 105
  • [28] Fuzzy Petri net-based programmable logic controller
    Andreu, D
    Pascal, JC
    Valette, R
    IEEE TRANSACTIONS ON SYSTEMS MAN AND CYBERNETICS PART B-CYBERNETICS, 1997, 27 (06): : 952 - 961
  • [29] Petri net-based design method of digital circuits
    Zhao, BH
    Yan, YG
    PROCEEDINGS OF THE 4TH WORLD CONGRESS ON INTELLIGENT CONTROL AND AUTOMATION, VOLS 1-4, 2002, : 363 - 366
  • [30] Petri net-based hierarchical business process mining
    Liu C.
    Cheng L.
    Zeng Q.
    Wen L.
    Ouyang C.
    Zeng, Qingtian (qtzeng@163.com), 1600, CIMS (26): : 1525 - 1537