Enviar por SMS: Model manažovania spojení v TCP protokole pomocou farebných Petriho sietí