Описание и анализ параллельных алгоритмов логического управления с применением графов операции

Изложен метод описания и анализа параллельных алгоритмов логического управления на основе графов операций — «нагруженных» сетей Петри. уточнены условия корректности графа операций. Проверка условий корректности осуществляется путем специальных преобразований, совмещающих декомпозицию исходного описания с его редукцией.