Формальные методы программирования логических контроллеров


Статья опубликована в журнале «Промышленные АСУ и контроллеры». 2005. №11, с. 49– 52.

И.З. Альтерман, А.А. Шалыто

Статья в формате PDF

Предлагаются методы непосредственного построения программ на языке функциональных блоков по графам переходов. Примеры реализации рассмотрены для контроллеров Simatic S7.