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