SMS versenden: Petriho siete a ich aplikácia v návrhu riadiacich a komunikačných systémov