Там выше ещё строка есть stateTimer(IN := state = _state). С таким таймером мы знаем, в течение какого времени находимся на текущем шаге. Соответственно те строки, про которые вы спросили, переводят автомат в состояние ошибки, если мы топчемся на одном шаге дольше секунды. Например, если не дождались ответа (шаг 3), то выставляется код/состояние 203. Если по какой-то причине не смогли даже скормить ответ на отправку, то код будет 202. При отладке очень помогает. Этот же таймер и для выдерживания пауз используется (состояние SUCCESS). Ну и вообще это у меня идиома такая для конечных автоматов на ST.

Да, сокет не закрывается, потому что этот код кроме бесконечной демонстрации пинга ничего не делает.