Конечные автоматы - будущее ПЛК программирования. Обратите внимание на Matlab Simulink Stateflow. Он также умеет генерировать ST код.