SMS versenden: Využitie Petriho siete na tvorbu webaplikácie