Да, transition позволяет описать сложное условие перехода на другой шаг, которое в противном бы случае загромождало SFC-диаграмму.
Более подробно про язык SFC можно почитать в справке CODESYS или стандарте МЭК 61131-3.
Или этой статье: https://oscat.ru/?p=160





