SMS versenden: Editor procesov na báze Petriho sietí