Глава 1 - Кафедра «Технологии программирования

управляющими сетями Петри, а сети Петри, в которых каждый переход
имеет только одну входящую и одну исходящую дуги, — автоматными
сетями Петри.
В качестве модели для описания алгоритмов управления С. А. Юдицкий
[31] предложил использовать графы операций (ГО), являющиеся
управляющими сетями Петри, в которых позиции помечены значениями
выходных переменных, а переходы — значениями входных переменных.
Для описания иерархически построенных алгоритмов им было предложено
применять системы вложенных ГО.
Достоинство графов операций состоит в возможности описания в
наглядной графической форме, в том числе и в виде одной компоненты,
сложных алгоритмов управления, обладающих параллелизмом, а их ограничения
и недостатки заключаются в том, что
— параллельные процессы в большинстве случаев должны быть синхронизированы,
в то время как для многих алгоритмов логического
управления этого не требуется;
— для ГО, построенных на базе автоматных сетей Петри, используется
только модель автомата Мура [181] и невозможно применение других
автоматных моделей, что резко ограничивает изобразительные возможности
графов операций;
— для кодирования позиций могут использоваться только двоичные
коды. При этом число внутренних переменных (без учета их переобозначений)
равно числу позиций, в том числе и для графов операций, построенных
на базе автоматных сетей Петри, в то время как для этого класса графов при
применении подхода, предлагаемого в настоящей работе, все позиции могут
быть закодированы лишь одной многозначной переменной;
— при реализации система вложенных графов операций преобразуется
в одну компоненту, в то время как при использовании предлагаемого
подхода число компонент в описании и реализации может совпадать;
— позиции графов операций рекомендуется помечать не всеми значениями
выходных переменных, а только теми из них, которые изменяются
в соответствующей позиции. Применение умолчаний приводит к тому,
что в общем случае сложности описаний алгоритма и его поведения
различаются, что затрудняет чтение реализованного алгоритма и анализ
всех его функциональных возможностей.
Язык «Графсет». Этот графический язык, разработанный в Центре
космических исследований в Тулузе (Франция), применяется в настоящее
время наряду с другими языками [221] такими фирмами, как например
«Телемеханик» (Франция), «Сименс» (Германия), «Ален Бредли» (США),
«Тошиба» (Япония), «Омрон» (Япония), «Модикон» (США). Этот язык
алгоритмизации при наличии транслятора с него является также и языком
программирования.
Язык «Графсет» отличается от языка графов операций в основном
только формой изображения: квадраты вместо кружков для обозначения
позиций и прямоугольники для записи значений выходных переменных,
отсутствующие в графах операций. Поэтому все достоинства и недостатки
этого языка сохраняются и в языке «Графсет». Созданы трансляторы с
этого языка по крайней мере указанными выше фирмами для своих
управляющих вычислительных устройств.
22