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 条
  • [1] Petri net-based representation of rules and verification of consistency
    丁彩虹
    姜兴渭
    黄文虎
    Journal of Harbin Institute of Technology(New series), 2001, (02) : 125 - 128
  • [2] A Petri Net-based Supply Chain System
    Liu, Jiang-ping
    Wu, Ri-geng
    INTERNATIONAL JOURNAL OF ONLINE ENGINEERING, 2018, 14 (11) : 28 - 39
  • [3] A Petri Net-based Model for the Attacking Soccer Robots
    Coman, Daniela
    RECENT ADVANCES IN AUTOMATION & INFORMATION: PROCEEDINGS OF THE 10TH WSEAS INTERNATIONAL CONFERENCE ON AUTOMATION & INFORMATION (ICAI'09), 2009, : 186 - +
  • [4] Petri Net-based Business Process Model Change
    Gao, Ying
    Luo, Zong-wei
    Wu, Zhen-huan
    Liu, Cong
    INTERNATIONAL CONFERENCE ON COMPUTER SCIENCE AND INFORMATION ENGINEERING (CSIE 2015), 2015, : 44 - 49
  • [5] A fuzzy Petri net-based reasoning method for rescheduling
    Qiao, Fei
    Wu, Qidi
    Li, Li
    Wang, Zuntong
    Shi, Bin
    TRANSACTIONS OF THE INSTITUTE OF MEASUREMENT AND CONTROL, 2011, 33 (3-4) : 435 - 455
  • [6] Time Petri Net-Based Software Reliability Analysis
    Yang, Maoqiang
    INTELLIGENCE COMPUTATION AND EVOLUTIONARY COMPUTATION, 2013, 180 : 231 - 235
  • [7] 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
  • [8] 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
  • [9] 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
  • [10] Tuplespace middleware for Petri net-based workflow execution
    Martin, Daniel
    Wutke, Daniel
    Leymann, Frank
    INTERNATIONAL JOURNAL OF WEB AND GRID SERVICES, 2010, 6 (01) : 35 - 57