Metódy supervízorového riadenia diskrétnych udalostných systémov a ich simulácia - Božoňová, Zuzana (STU v Bratislave FIIT, 2007)