Envoyer par SMS: Modelovanie paralelných procesov pomocou Petriho siete