Анализ сп-модели при помощи дерева достижимых разметок.

Дерево достижимости, построенное через программное обеспечение GPTN, представлено на рисунке 11.

Рисунок 11. ДДР через ПО

ДДР не содержит тупиков и бесконечность, что означает. Схема была построена верна и данное ДДР с матричным методом это доказывает.

Заключение

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