Описание модели с помощью матричных методов

Для нахождения функции инцидентности следует использовать формулу: F:РхT;

Для нахождения функции инцидентности следует использовать формулу: H:TхP;

В результате получим матрицы:

Начальная разметка (µ0) выглядит следующим образом: µ0 (1;1;1;1;0;0; 0;0;0;0;0;0;0;0)

Описание модели с помощью алгебраических выражений

Рассмотри СП-модель, разделив ее на фрагменты, которые показаны на рисунках 6 – 9.

Рисунок 2. Последовательный фрагмент (N1)

Рисунок 3. Последовательный фрагмент. (N2)

Рисунок 4. Последовательный фрагмент. (N3)

Рисунок 5. Циклический фрагмент. (N4)

Рисунок 6. Циклический фрагмент. (N5)

Таким образом, получим итоговое алгебраическое описание модели:

2 Вариант модели сети петри

Данная модель сети Петри работает по следующему условию: ввод новых данных в многопроцессорную систему осуществляется в двух случаях:

• После завершения обработки в ВС1, ВС2;

• После вывода всей информации из системы;

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

Рисунок 7. Усложненная схема сети Петри

Интерпретация переходов:

• Т1 – формирование условия для ввода данных в многопроцессорную систему;

• Т2 – формирование условия для ввода новых данных;

• Т3 – начало передачи данных в ВС1;

• Т4 – конец передачи данных в ВС1;

• Т5 – начало передачи данных в ВС2;

• Т6 – конец передачи данных в ВС2;

• Т7 – начало вывода из многопроцессорной системы

• Т8 – окончание вывода из многопроцессорной системы

Интерпретация позиций:

• Р1 – наличие данных для ввода в систему;

• Р2 – занятость ПКВ2;

• Р3 – занятость ПКВ1;

• Р4 – ввод данных;

• Р5 – данные готовы для передачи в ВС1;

• Р6 – данные вводятся в ПЭ1 в ВС1;

• Р7 – данные вводятся в ПЭ2 в ВС1

• Р8 – данные готовы для передачи в ВС2;

• Р9 – данные вводятся в ПЭ1 в ВС2;

• Р10 – данные вводятся в ПЭ1 в ВС2;

• Р11 – данные выводятся из ВС2;

• Р12 – данные выводятся из вычислительной системы

• Р13 – вывод данных из многопроцессорной вычислительной системы

Построим дерево достижимых разметок

Рисунок 8. Усложненная схема сети Петри

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

Для устранения неполадок в сети сделаем два шага:

1. Достроим канал ввода-вывода из Т4 в Т3

2. Достроим канал ввода-вывода из Т6 в Т4

3. Достроим канал ввода-вывода из Т7 в Т6

Рисунок 11. Исправленная усложненная схема сети Петри

Интерпретация вершин сп-модели

Интерпретация переходов:

• Т1 – формирование условия для ввода данных в многопроцессорную систему;

• Т2 – формирование условия для ввода новых данных;

• Т3 – начало передачи данных в ВС1;

• Т4 – конец передачи данных в ВС1;

• Т5 – начало передачи данных в ВС2;

• Т6 – конец передачи данных в ВС2;

• Т7 – начало вывода из многопроцессорной системы

• Т8 – окончание вывода из многопроцессорной системы

Интерпретация позиций:

• Р1 – наличие данных для ввода в систему;

• Р2 – занятость ПКВ2;

• Р3 – занятость ПКВ1;

• Р4 – ввод данных;

• Р5 – данные готовы для передачи в ВС1;

• Р6 – данные вводятся в ПЭ1 в ВС1;

• Р7 – данные вводятся в ПЭ2 в ВС1

• Р8 – данные готовы для передачи в ВС2;

• Р9 – данные вводятся в ПЭ1 в ВС2;

• Р10 – данные вводятся в ПЭ1 в ВС2;

• Р11 – данные выводятся из ВС2;

• Р12 – данные выводятся из вычислительной системы

• Р13 – вывод данных из многопроцессорной вычислительной системы

• P14 – канал ввода-вывода

• P15 – канал ввода-вывода

• P16 – канал ввода-вывода