Hrúz, Branislav, 1938- The Supervisory Control Design Based on the Petri Net Reachability Graph. Flochová, Jana In: Journal of Electrical Engineering. -- Vol. 50, No. 11-12 (1999), s.380-385.