Управляющие процессы и их формализованное описание

Сентябрь 6, 2022

Главная
Алгебра
Управляющие процессы и их формализованное описание

Содержание

2. Пример: Процесс из 5-и последовательно выполняемых процедур Ai при следующем распределении 3-х ФР Cj: A1({C2}, {-},
4. Пример разветвленного процесса: Домашнее задание: Описать все процедуры множествами. Предполагая, что нет позиций альтернативного разветвления b1
5. Пример 1: Ai зависит от ЛУ (psϵDs) и изменяет его (ps) Ai ( {ps }, {ps}
7. Скачать презентацию

Слайд 2

Пример:
Процесс из 5-и последовательно
выполняемых процедур Ai при
следующем распределении 3-х ФР Cj:
A1({C2},

{-}, {-});
A2({C2}, {C1}, {C2});
A3({C1}, {C3}, {C1, C3});
A4({-}, {C2, C3}, {C3}).
Сj – ресурсные внутренние позиции
Tдi- длительные переходы
aµ - основные внутренние позиции

Слайд 3

Слайд 4

Пример разветвленного процесса:
Домашнее задание:
Описать все процедуры множествами.
Предполагая, что нет позиций альтернативного

разветвления b1 и b2, определить какую нужно ввести кратность у функциональных ресурсов С1 и С2.

Слайд 5

Пример 1:
Ai зависит от ЛУ (psϵDs)
и изменяет его (ps)
Ai ( {ps

}, {ps} ) и Aj ( {ps }, {ps} )
входные позиции для tдi (tдj):
aµ, ds и ds1 (ds и ds0)
выходные позиции для tдi (tдj):
aµ+1(aµ+2), ds и ds0 (ds и ds1)