В работе рассмотрено развитие методов синтеза алгоритмов управления для ПЛК для составных моделей. Предложенный подход позволяет автоматически формировать программу ПЛК при изменении задачи управления. В основе метода лежит синтез супервизора, допускающий безопасное функционирование объекта управления по модели технологического объекта, спецификации его поведения и ограничений. Полученная супервизорная модель преобразуется в алгоритм для ПЛК методом подстановок. В качестве инструмента моделирования использованы сети Петри, программное обеспечение для ПЛК синтезируется на языке релейно-контактных схем.