Modelovanie hybridných systémov pomocou časových a hybridných Petriho sietí - Žalondek, Juraj (STU v Bratislave FEI, 2004)