Разработка инструментальных средств создания интеллектуального проектировщика САПР на основе сетей Петри (Диссертация на соискание ученой степени кандидата технических наук), страница 12

В предыдущих   работах   [66]   автоматическое   построение цепочек заключалось в сцеплении модулей,  образующих цепочку  по наименованиям  их  входов  и  выходов.  Существенным недостатком такого способа является необходимость заранее  предусмотреть все возможные сцепления модулей, которые будут возникать в цепочках, строящихся при планировании конкретных расчетов.

Планирование осуществляется  построением  случайным образом нескольких цепочек (тем самым избегаются тупиковые  ситуации)  и удалением  лишних модулей (позволяет строить цепочку,  близкую к оптимальной).  Результирующей является  цепочка,  минимальная  с точки зрения действующих критериев.

Одним из подходов для решения проектных задач  реализован в системе  управления вычислительным  процессом СУВП  АСПЕКТ [60].

Отличительные  особенности   алгоритма,  предложенного  в  [61], разработанными на  основе  представления  отношений вычислимости в виде В-сети, на базе сетей Петри:

- корректировка   задачи  оптимизации  как  в  процессе  ее формальной постановки, так и решения в режиме диалога;

- использование   для   постановки    и   решения    задачи оптимизации  произвольных  отношений  вычислимости             , реализуемых либо   функциональными   модулями,   либо   сложными

В-сетями;

- параллельная  организация  вычислений  при решении задачи оптимизации технических систем.

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

1.6 Использование  сетей  Петри  для  управления  процессом проектирования.

Впервые   [57]    для    системы    управляющих    структур вычислительных  моделей  сети  Петри  предложены  Т.А.Плаксом  в

[53].  Методы   разработаны   для   генерирования   параллельных программ  в  системе  программирования  ПРИЗ  [28].  Рассмотрены методы синтеза параллельных программ на основе описания решаемой задачи, которая задается в виде простой вычислительной модели.

Под программой     понимается     пара     Р=(М,С),     где

М-информационная структура,  а С-управляющая.  Через управляющую структуру,  представляемую  в  виде  сети  Петри,  задаются  все возможные   цепочки  операторов,  при  помощи  которых  решается задача,  т.е.  синтаксис  допустимых  вычислительных  процессов.

Рассматриваются   простые   вычислительные  модели,  на  которых возможные   вычислительные   процессы    полностью    определены применимостью  операторов.  Оператор  может  применяться  тогда, когда он еще не был выполнен и  когда  заданы  все  его  входные переменные.  Последовательным  процессом будет некоторая цепочка операторов  (переходов)  на  сети  Петри,   выполняемых   только последовательно.   При   выполнении   этого  процесса  требуется синхронизация   с    другими    процессами.    Для    выполнения последовательных  процессов  на сети Петри все позиции разделены на два класса:

1. Позиции синхронизации,  являющиеся общими для нескольких процессов,  при помощи которых  синхронизируются  взаимодействия этих процессов.

2. Позиции внутренних состояний процессов, имеющие по одной входной и выходной дуге. Каждая такая позиция принадлежит только одному  процессу.  Одна  из  позиций  состояние  которого  будет маркированной, выражает текущее состояние процесса.

Описанием процесса является  последовательность  переходов, которые соединены между собой позициями состояний. Исходная сеть упрощается с помощью эквивалентных (H и V)  преобразований (рис.