Describir: Simulácia systémov reálneho času použitím Petriho sietí /