SMS versenden: Modelovanie a diagnostika pomocou farebných Petriho sietí