@misc{synthesis+of+controller+for+railway+level+crossing+devices+using+petri+nets+and+state+machine,
    author = {Mielnik, Ryszard},
    title = {Synthesis of controller for railway – level crossing devices using Petri nets and state machine},
    journal = {Technical Transactions},
    address = {Kraków},
    publisher = {<a href=\"http://www.wydawnictwo.pk.edu.pl/\" target=\"_blank\">Wydawnictwo PK</a>},
    date = {2016},
    number = {Y. 113, iss. 1-E}
}