Собственно это и есть конечный автомат. Сложность в том что он получается громоздким и, если применять минимизации логических схем перехода состяний - интуитивно непонятным. И неудобство реализации записи из нескольких мест в один счетчик
Вот по сути то жесамое, но на основе флагов состояний.
http://window.edu.ru/resource/659/76...тодичка3_1.pdf
А вот подобное, но на текстовом языке, что проще вот вопрос...
http://is.ifmo.ru/download/1minute.pdf
Вот пример того что на ST в пару десятков строк поместится, но в FBD это целый лист