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