TY - JOUR TI - The integration of an automatic reserve switching controller into a railway traffic control system power supply through the use of a Petri net and a graphical programming language AU - Mielnik, Ryszard TI - The integration of an automatic reserve switching controller into a railway traffic control system power supply through the use of a Petri net and a graphical programming language AB - The requirement for high reliability and safety in the operation of measuring and control systems is particularly relevant in critical applications in which system failure can lead to large material losses and can constitute threat to health and even to life. Railway traffic control systems are one such application. There is a requirement for the use of powerful tools and methods of modelling the function and operation of this system. The purpose of this publication is to present the use of a Petri net in modelling automatic reserve switching device controllers of railway traffic control system power. The publication also shows the practical implementation of such a controller. It was implemented using the hardware platform of the NI CompactRIO family of controllers and an application made in the National LabView graphical programming environment. VL - 2018 IS - Volume 8 Year 2018 (115) PY - 2018 SN - 0011-4561 C1 - 2353-737X SP - 155 EP - 166 DO - 10.4467/2353737XCT.18.122.8897 UR - https://ejournals.eu/en/journal/czasopismo-techniczne/article/the-integration-of-an-automatic-reserve-switching-controller-into-a-railway-traffic-control-system-power-supply-through-the-use-of-a-petri-net-and-a-graphical-programming-language KW - power supply of railway traffic control systems KW - Petri nets KW - graphical programming of industrial controllers