Пример:
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}
M= (P, T, I, O, μ)
μ=(1, 0, 0, 2, 1)
- Главная
- Разное
- Дизайн
- Бизнес и предпринимательство
- Аналитика
- Образование
- Развлечения
- Красота и здоровье
- Финансы
- Государство
- Путешествия
- Спорт
- Недвижимость
- Армия
- Графика
- Культурология
- Еда и кулинария
- Лингвистика
- Английский язык
- Астрономия
- Алгебра
- Биология
- География
- Детские презентации
- Информатика
- История
- Литература
- Маркетинг
- Математика
- Медицина
- Менеджмент
- Музыка
- МХК
- Немецкий язык
- ОБЖ
- Обществознание
- Окружающий мир
- Педагогика
- Русский язык
- Технология
- Физика
- Философия
- Химия
- Шаблоны, картинки для презентаций
- Экология
- Экономика
- Юриспруденция
Сети Петри презентация
Содержание
- 1. Сети Петри
- 3. Сети Петри для моделирования
- 4. Одновременность Конфликт
- 7. Параллельные взаимодействующие вычислительные процессы
- 8. Средства синхронизации и связи Блокировка памяти Операция «Проверка и установка»
- 9. Семафоры Дейкстры P(S) V(S) P(S): S:=S-1; if S
- 10. P(S): if S>=1 then S:=S-1
- 11. Тупиковые ситуации
- 12. Ресурсы: Повторно используемые (системные) ресурсы (RR или
- 13. Условия возникновения тупика: взаимного исключения; ожидания; отсутствия перераспределения; кругового ожидания.
- 14. Формальные модели для изучения проблемы тупиковых ситуаций
- 15. Сети Петри Дерево достижимости Матричные уравнения Дерево достижимости ω+a=ω, a
- 16. Классификация вершин: граничная; терминальная; дублирующая; внутренняя. Алгоритм:
- 18. Матричные уравнения D- D+ D=D+-D- D-[i, j]=#(pi, I(tj)) D+[j, i]=#(pi, O(tj))
- 19. μ′=μ+х*D μ=(1, 0, 1, 0)
- 20. μ=(1, 0, 1, 0) μ’=(1, 8, 0, 1)
Сети Петри для моделирования
Слайд 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}
Пример:
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}
Слайд 9Семафоры Дейкстры
P(S) V(S)
P(S): S:=S-1;
if S
очередь ожидания к семафору S}
V(s): if S<0 then {поместить один из ожидающих процессов очереди семафора S в очередь готовности};
S:=S+1
InitSem (имя_семафора, начальное_значение_семафора);
V(s): if S<0 then {поместить один из ожидающих процессов очереди семафора S в очередь готовности};
S:=S+1
InitSem (имя_семафора, начальное_значение_семафора);
Слайд 10P(S): if S>=1 then S:=S-1
else WAIT(S){остановить
процесс и поместить в очередь ожидания к семафору S}
V(S): if S=0 then RELEASE(S) {поместить один из ожидающих процессов очереди семафора S в очередь готовности};
S:=S+1
V(S): if S=0 then RELEASE(S) {поместить один из ожидающих процессов очереди семафора S в очередь готовности};
S:=S+1
Слайд 12Ресурсы:
Повторно используемые (системные) ресурсы (RR или SR — reusable resource или
system resource);
потребляемые (или расходуемые) ресурсы (CR — consumable resource).
Модель повторно используемых ресурсов Холта
потребляемые (или расходуемые) ресурсы (CR — consumable resource).
Модель повторно используемых ресурсов Холта
Слайд 13Условия возникновения тупика:
взаимного исключения;
ожидания;
отсутствия перераспределения;
кругового ожидания.
Слайд 14Формальные модели для изучения проблемы тупиковых ситуаций
Сети Петри
Вычислительные схемы
Модель пространства состояний
Модель
Холта
Слайд 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]i=ω, μ[z]i=ω;
μ[у]<δ(μ[x], tj) и μ[у]i<δ(μ[x], tj)i , то μ[z]i=ω;
μ[z]i=δ(μ[x], tj)i .
