Describir: Modelovanie hybridných systémov pomocou časových a hybridných Petriho sietí