@misc{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,
    author = {Mielnik, Ryszard},
    title = {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},
    journal = {Technical Transactions},
    address = {Kraków},
    publisher = {<a href=\"http://www.wydawnictwo.pk.edu.pl/\" target=\"_blank\">Wydawnictwo PK</a>},
    date = {2018},
    number = {Vol. 115, iss. 8}
}