Формальные методы программирования логических контроллеров. И.З. Альтерман, А.А. Шалыто.
Предлагаются методы непосредственного построения программ на языке функциональных блоков по графам переходов. Примеры реализации рассмотрены для контроллеров Simatic S7. Постановка задачи При анализе программы, реализуемой контроллером, часто бывает так, что…






