Mielnik, R. (2016). 
	Synthesis of controller for railway – level crossing devices using Petri nets
	and state machine. Czasopismo Techniczne, 2016, 101-112. doi: https://doi.org/10.4467/2353737XCT.16.032.5294