Вообще все уже давно придумано). Есть статья http://media.wix.com/ugd/1d208a_bf15...3477246f4d.pdf Альтермана Игоря "Формальные методы программирования логических контроллеров". В принципе метод можно использовать для контроллеров в которых есть LD и FBD.
Сообщение от ferret_maybe
Ваши права
