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

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