Сети Петри

Сентябрь 14, 2022

Содержание

3. Сети Петри для моделирования
4. Одновременность Конфликт
7. Параллельные взаимодействующие вычислительные процессы
8. Средства синхронизации и связи Блокировка памяти Операция «Проверка и установка»
9. Семафоры Дейкстры P(S) V(S) P(S): S:=S-1; if S V(s): if S S:=S+1 InitSem (имя_семафора, начальное_значение_семафора);
10. P(S): if S>=1 then S:=S-1 else WAIT(S){остановить процесс и поместить в очередь ожидания к семафору S}
11. Тупиковые ситуации
12. Ресурсы: Повторно используемые (системные) ресурсы (RR или SR — reusable resource или system resource); потребляемые (или
13. Условия возникновения тупика: взаимного исключения; ожидания; отсутствия перераспределения; кругового ожидания.
14. Формальные модели для изучения проблемы тупиковых ситуаций Сети Петри Вычислительные схемы Модель пространства состояний Модель Холта
15. Сети Петри Дерево достижимости Матричные уравнения Дерево достижимости ω+a=ω, a ω-a=ω, a≤ω
16. Классификация вершин: граничная; терминальная; дублирующая; внутренняя. Алгоритм: μ[x]=μ[y], х – дублирующая; μ[x], х – терминальная; tj∈T,
18. Матричные уравнения D- D+ D=D+-D- D-[i, j]=#(pi, I(tj)) D+[j, i]=#(pi, O(tj))
19. μ′=μ+х*D μ=(1, 0, 1, 0) σ=t3 t2 t3 t2 t1 f(σ)=(1, 2, 2)
21. Скачать презентацию

Слайд 2

Слайд 3

Сети Петри для моделирования

Слайд 4

Одновременность
Конфликт

Слайд 5

Слайд 6

Слайд 7

Параллельные взаимодействующие вычислительные процессы

Слайд 8

Средства синхронизации и связи
Блокировка памяти
Операция «Проверка и установка»

Слайд 9

Семафоры Дейкстры
P(S) V(S)
P(S): S:=S-1;
if S<0, then {остановить процесс и поместить его в

очередь ожидания к семафору S}
V(s): if S<0 then {поместить один из ожидающих процессов очереди семафора S в очередь готовности};
S:=S+1
InitSem (имя_семафора, начальное_значение_семафора);

Слайд 10

P(S): if S>=1 then S:=S-1
else WAIT(S){остановить процесс и поместить в

очередь ожидания к семафору S}
V(S): if S=0 then RELEASE(S) {поместить один из ожидающих процессов очереди семафора S в очередь готовности};
S:=S+1

Слайд 11

Тупиковые ситуации

Слайд 12

Ресурсы:
Повторно используемые (системные) ресурсы (RR или SR — reusable resource или

system resource);
потребляемые (или расходуемые) ресурсы (CR — consumable resource).
Модель повторно используемых ресурсов Холта

Слайд 13

Условия возникновения тупика:
взаимного исключения;
ожидания;
отсутствия перераспределения;
кругового ожидания.

Слайд 14

Формальные модели для изучения проблемы тупиковых ситуаций
Сети Петри
Вычислительные схемы
Модель пространства состояний
Модель

Холта

Слайд 15

Сети Петри
Дерево достижимости
Матричные уравнения
Дерево достижимости
ω+a=ω, a<ω
ω-a=ω, a≤ω

Слайд 16

Классификация вершин:
граничная;
терминальная;
дублирующая;
внутренняя.
Алгоритм:
μ[x]=μ[y], х – дублирующая;
μ[x], х – терминальная;
tj∈T, μ[x], z. μ[z],

pi:
μ[x]i=ω, μ[z]i=ω;
μ[у]<δ(μ[x], tj) и μ[у]i<δ(μ[x], tj)i , то μ[z]i=ω;
μ[z]i=δ(μ[x], tj)i .

Слайд 17

Слайд 18

Матричные уравнения
D- D+ D=D+-D-
D-[i, j]=#(pi, I(tj))
D+[j, i]=#(pi, O(tj))

Слайд 19

μ′=μ+х*D
μ=(1, 0, 1, 0)
σ=t3 t2 t3 t2 t1 f(σ)=(1, 2,

2)