[Bayk]

Реализовывал конечные автоматы на FBD с помощью инкрементирующейся переменной
Далее условие сравнения с нужной цифрой (шагом) в этой переменной участвует в требуемой на этом шагу логике.
пропуск шагов или возврат к предыдущему делается прибавкой или вычитанием нужного количества из текущего значения.
Операции инкремента/декремента сделаны "импульсными", а в отсутствии импульса (с математикой) переменная зациклена сама на себя.