MIELNIK, Ryszard. <i>Synthesis of controller for railway – level crossing devices using Petri nets and state machine</i>. 2016.