СИНТЕЗ ИЕРАРХИЧЕСКИХ КОНЕЧНО-АВТОМАТНЫХ УПРАВЛЯЮЩИХ СИСТЕМ
Применение известных методов синтеза логических выражений для управления исполнительными устройствами позиционного типа на основе автомата Мура и карт Карно для большого количества входных переменных и управлений встречает принципиальные трудности, обусловленные высокой размерностью задачи. Кроме того, задача построения автомата Мура для алгоритмов с «длинными» цепочками управлений является сложной с точки зрения обеспечения отсутствия тупиковых состояний и зацикливаний. В связи с этим задача синтеза конечно-автоматных управляющих устройств для задач высокой размерности должна решаться на основе принципов системного подхода декомпозицией исходной задачи на подзадачи. В статье предложены подход к формализации процедур формирования и последовательности выполнения логических выражений при вычислении управлений на основе применения иерархических сетей Петри и способ согласования работы подсетей на основе согласующих меток, который облегчает разработку логических управляющих устройств для объектов с большим количеством входных переменных и управлений.