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

Пример:
Процесс из 5-и последовательно
выполняемых процедур Ai при
следующем распределении 3-х ФР Cj:
A1({C2}, {-}, {-});
A2({C2}, {C1}, {C2});
A3({C1}, {C3}, {C1, C3});
A4({-}, {C2, C3}, {C3}).
Сj – ресурсные внутренние позиции
Tдi- длительные переходы
aµ - основные внутренние позиции

Пример разветвленного процесса:
Домашнее задание:
Описать все процедуры множествами.
Предполагая, что нет позиций альтернативного разветвления b1 и b2, определить какую нужно ввести кратность у функциональных ресурсов С1 и С2.

Пример 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)