Program solution of supervisory control based on Petri nets - Flochová, Jana, 1959-; Hrúz, Branislav, 1938-; Jirsák, Peter