0408698 20240103182022.520060210235959.9 Supervisory Control of Discrete Event Processes: A Real-Time Extension Praha ÚTIA AV ČR 1993 30 s. Research Report 1777 cav_un_auth*0101137 Kozák Petr UTIA-B Ústav teorie informace a automatizace AV ČR, v. v. i. 27502 GA AV CZ 27558 GA AV CZ MTR http://hdl.handle.net/11104/0128800 UTIA-B 930156 1993 1993 Praha ÚTIA AV ČR