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 条
[41]   Petri net-based analysis on object assignment in distributed object-oriented systems [J].
Chang, WT ;
Tseng, CC ;
Chou, WK .
JOURNAL OF SYSTEMS ARCHITECTURE, 1998, 44 (12) :955-970
[42]   Petri Net-Based Model for 5G and Beyond Networks Resilience Evaluation [J].
Li, Rui ;
Decocq, Bertr ;
Barros, Anne ;
Fang, Yiping ;
Zeng, Zhiguo .
25TH CONFERENCE ON INNOVATION IN CLOUDS, INTERNET AND NETWORKS (ICIN 2022), 2022, :131-135
[43]   Petri net-based process monitoring: a workflow management system for process modelling and monitoring [J].
Albert Pla ;
Pablo Gay ;
Joaquim Meléndez ;
Beatriz López .
Journal of Intelligent Manufacturing, 2014, 25 :539-554
[44]   Petri net-based workflow modeling for a die and mould manufacturing resource planning system [J].
Yang, N ;
Lou, ZL ;
Zhou, XH .
INTERNATIONAL JOURNAL OF ADVANCED MANUFACTURING TECHNOLOGY, 2005, 26 (04) :366-371
[45]   A Petri net-based object-oriented approach for the modelling of hybrid productive systems [J].
Villani, E ;
Pascal, JC ;
Miyagi, PE ;
Valette, R .
NONLINEAR ANALYSIS-THEORY METHODS & APPLICATIONS, 2005, 62 (08) :1394-1418
[46]   A Petri Net-Based Algorithm for Solving the One-Dimensional Cutting Stock Problem [J].
Barragan-Vite, Irving ;
Medina-Marin, Joselito ;
Hernandez-Romero, Norberto ;
Anaya-Fuentes, Gustavo Erick .
APPLIED SCIENCES-BASEL, 2024, 14 (18)
[47]   APPLYING ADDITIVE MANUFACTURING TECHNOLOGIES TO A SUPPLY CHAIN: A PETRI NET-BASED DECISION MODEL [J].
Patalas-Maliszewska, Justyna ;
Wisniewski, Remigiusz ;
Zhou, Mengchu ;
Topczak, Marcin ;
Wojnakowski, Marcin .
INTERNATIONAL JOURNAL OF APPLIED MATHEMATICS AND COMPUTER SCIENCE, 2024, 34 (03) :513-525
[48]   Petri net-based methods for analyzing structural security in e-commerce business processes [J].
Yu, Wangyang ;
Ding, Zhijun ;
Liu, Lu ;
Wang, Xiaoming ;
Crossley, Richard David .
FUTURE GENERATION COMPUTER SYSTEMS-THE INTERNATIONAL JOURNAL OF ESCIENCE, 2020, 109 :611-620
[49]   Petri net-based prediction of therapeutic targets that recover abnormally phosphorylated proteins in muscle atrophy [J].
Jung, Jinmyung ;
Kwon, Mijin ;
Bae, Sunghwa ;
Yim, Soorin ;
Lee, Doheon .
BMC SYSTEMS BIOLOGY, 2018, 12
[50]   Design of Petri Net-based Control System for Dual-wheel-driving Mobile Robot [J].
You, Bo ;
Li, Dongjie ;
Qiu, Hangyan .
2008 7TH WORLD CONGRESS ON INTELLIGENT CONTROL AND AUTOMATION, VOLS 1-23, 2008, :4837-4841