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