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