Využitie Petriho sietí na modelovanie a riadenie diskrétnych udalostných systémov - Viskup, Pavel (STU v Bratislave FEI, 2000)