Invia SMS: Modelovanie paralelných procesov pomocou Petriho siete