HRÚZ, Branislav - FLOCHOVÁ, Jana. The Supervisory Control Design Based on the Petri Net Reachability Graph. In Journal of Electrical Engineering. Vol. 50, No. 11-12 (1999), s.380-385. ISSN 1335-3632 (1999). I*