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 verification of security protocol implementation in software evolution [J].
Bin Ahmadon, Mohd Anuaruddin ;
Yamaguchi, Shingo ;
Gupta, B. B. .
INTERNATIONAL JOURNAL OF EMBEDDED SYSTEMS, 2018, 10 (06) :503-517
[22]   Petri net-based modeling and control of the multi-elevator systems [J].
Ahmad, Farooq ;
Fakhir, Ilyas ;
Khan, Sher Afzal ;
Khan, Yaser Daanial .
NEURAL COMPUTING & APPLICATIONS, 2014, 24 (7-8) :1601-1612
[23]   A Petri Net-Based Byzantine Fault Diagnosis Method for Service Composition [J].
Fan, Guisheng ;
Yu, Huiqun ;
Chen, Liqiong ;
Liu, Dongmei .
2012 IEEE 36TH ANNUAL COMPUTER SOFTWARE AND APPLICATIONS CONFERENCE (COMPSAC), 2012, :42-51
[24]   An approach to repair Petri net-based process models with choice structures [J].
Qi, HongDa ;
Du, YuYue ;
Qi, Liang ;
Wang, Lu .
ENTERPRISE INFORMATION SYSTEMS, 2018, 12 (8-9) :1149-1179
[25]   BioNetSim: a Petri net-based modeling tool for simulations of biochemical processes [J].
Gao, Junhui ;
Li, Li ;
Wu, Xiaolin ;
Wei, Dong-Qing .
PROTEIN & CELL, 2012, 3 (03) :225-229
[26]   A Stochastic Petri Net-Based Model of the Involvement of Interleukin 18 in Atherosclerosis [J].
Formanowicz, Dorota ;
Rybarczyk, Agnieszka ;
Radom, Marcin ;
Tanas, Krzysztof ;
Formanowicz, Piotr .
INTERNATIONAL JOURNAL OF MOLECULAR SCIENCES, 2020, 21 (22) :1-23
[27]   A Petri net-based approach for supporting aspect-oriented modeling [J].
Guan L. ;
Li X. ;
Hu H. ;
Lu J. .
Frontiers of Computer Science in China, 2008, 2 (04) :413-423
[28]   Hardware implementation of real-time Petri net-based controllers [J].
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 [J].
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]   Design of Petri Net-based Deadlock Prevention Controllers for Flexible Manufacturing Systems [J].
Zeng, Guoqiang ;
Wu, Weimin ;
Zhou, MengChu ;
Mao, Weijie ;
Su, Hongye ;
Chu, Jian .
2009 IEEE INTERNATIONAL CONFERENCE ON SYSTEMS, MAN AND CYBERNETICS (SMC 2009), VOLS 1-9, 2009, :193-+