Сети Петри

1. Построить структурную схему для заданного варианта ВС.
2. Построить модель ВС в терминах иерархической сети Петри (СП).  Дать интерпретацию вершин СП-модели в терминах блоков и функций ВС.

3.   Задать на первом этапе исследования СП-модели низкую интенсивность входных данных: новые данные для обработки вводятся только после вывода уже обработанных данных из системы.

1. Описать построенную модель с помощью матричных методов, а также с помощью алгебраических выражений. Использовать для уменьшения размерностей  возможности иерархических СП.
2. Провести анализ полученной СП-модели при помощи матричных методов и дерева достижимых разметок.
3. Провести анализ построенной СП-модели с использованием программного комплекса. Убедиться в корректном функционировании СП (отсутствие тупиковых ситуаций и бесконечно размеченных позиций).

7.   Приступить ко второму этапу анализа СП-модели - задать интенсивный режим поступления входных данных.  В этом случае ввод данных в систему разрешается после отправки предварительно введенных данных на обработку в процессорные элементы.

1. Провести анализ модифицированной СП-модели с использованием программного комплекса. На основе исследования сделать выводы о корректности модели, предложить варианты устранения недостатков в случае их обнаружения.
2. Убедиться в повышении производительности модифицированной системы (воспользоваться функцией GPTN). Сделать выводы по работе.
3. Оформить отчет.