MIELNIK, Ryszard. 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. 2018.