SMS versenden: Modelovanie paralelných procesov pomocou Petriho siete