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