8. Промежуточное описание алгоритма управления объектом в виде системы конъюнктивных секвенций.

На этапе логического проектирования происходит переход от первичного графического описания логического алгоритма к промежуточному, в процессе которого происходит взаимнооднозначное преобразование графического описания в аналитическую форму, которое, в свою очередь, обладает рядом положительных свойств, необходимых для подготовки ввода описания логического алгоритма в микроконтроллер.

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

Аналитическое описание алгоритма управления вертикально-сверлильным станком в виде системы конъюктивных секвенций будет выглядеть следующим образом:

M₀: