🗊Презентация Сети Петри

Категория: Математика
Нажмите для полного просмотра!
Сети Петри, слайд №1Сети Петри, слайд №2Сети Петри, слайд №3Сети Петри, слайд №4Сети Петри, слайд №5Сети Петри, слайд №6Сети Петри, слайд №7Сети Петри, слайд №8Сети Петри, слайд №9Сети Петри, слайд №10Сети Петри, слайд №11Сети Петри, слайд №12Сети Петри, слайд №13Сети Петри, слайд №14Сети Петри, слайд №15Сети Петри, слайд №16Сети Петри, слайд №17Сети Петри, слайд №18Сети Петри, слайд №19Сети Петри, слайд №20
Скачать
Вы можете ознакомиться и скачать презентацию на тему Сети Петри. Доклад-сообщение содержит 20 слайдов. Презентации для любого класса можно скачать бесплатно. Если материал и наш сайт презентаций Mypresentation Вам понравились – поделитесь им с друзьями с помощью социальных кнопок и добавьте в закладки в своем браузере.

Слайды и текст этой презентации

Слайд 1


Сети Петри С=(P, T, I, O) P={p1, p2, …, pn} T={t1, t2, …, tm} Пример: C={P, T, I, O} P={p1, p2, p3, p4, p5} T={t1, t2, t3, t4} I(t1)={p1} O(t1)={p2, p3, p4} I(t2)={p2, p3, p4} O(t2)={p2} I(t3)={p4} O(t3)={p5} I(t4)={p5} O(t4)={p3, p4}
Описание слайда:
Сети Петри С=(P, T, I, O) P={p1, p2, …, pn} T={t1, t2, …, tm} Пример: C={P, T, I, O} P={p1, p2, p3, p4, p5} T={t1, t2, t3, t4} I(t1)={p1} O(t1)={p2, p3, p4} I(t2)={p2, p3, p4} O(t2)={p2} I(t3)={p4} O(t3)={p5} I(t4)={p5} O(t4)={p3, p4}

Слайд 2


Сети Петри, слайд №2
Описание слайда:

Слайд 3


Сети Петри для моделирования
Описание слайда:
Сети Петри для моделирования

Слайд 4


Сети Петри, слайд №4
Описание слайда:

Слайд 5


Сети Петри, слайд №5
Описание слайда:

Слайд 6


Сети Петри, слайд №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 (имя_семафора, начальное_значение_семафора);
Описание слайда:
Семафоры Дейкстры 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 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
Описание слайда:
P(S): if S>=1 then S:=S-1 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


Сети Петри, слайд №11
Описание слайда:

Слайд 12


Ресурсы: Ресурсы: Повторно используемые (системные) ресурсы (RR или SR — reusable resource или system resource); потребляемые (или расходуемые) ресурсы (CR — consumable resource). Модель повторно используемых ресурсов Холта
Описание слайда:
Ресурсы: Ресурсы: Повторно используемые (системные) ресурсы (RR или SR — reusable resource или system resource); потребляемые (или расходуемые) ресурсы (CR — consumable resource). Модель повторно используемых ресурсов Холта

Слайд 13


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

Слайд 14


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

Слайд 15


Сети Петри Дерево достижимости Матричные уравнения Дерево достижимости
Описание слайда:
Сети Петри Дерево достижимости Матричные уравнения Дерево достижимости

Слайд 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 .
Описание слайда:
Классификация вершин: Классификация вершин: граничная; терминальная; дублирующая; внутренняя. Алгоритм: [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


Сети Петри, слайд №17
Описание слайда:

Слайд 18


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

Слайд 19


=+х*D =+х*D =(1, 0, 1, 0)
Описание слайда:
=+х*D =+х*D =(1, 0, 1, 0)

Слайд 20


=(1, 0, 1, 0) ’=(1, 8, 0, 1) =(1, 0, 1, 0) ’=(1, 8, 0, 1)
Описание слайда:
=(1, 0, 1, 0) ’=(1, 8, 0, 1) =(1, 0, 1, 0) ’=(1, 8, 0, 1)

Скачать

Теги Сети Петри
Похожие презентации
Mypresentation.ru
Загрузить презентацию