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