Describir: Modelovanie výrobných systémov pomocou časovaných Petriho sietí :