TY - BOOK AU - Mielnik, Ryszard PY - 2016 TI - Synthesis of controller for railway – level crossing devices using Petri nets and state machine T2 - SP - EP - VL - ER -