SMS versenden: Analýza Petriho sietí