Управляющие процессы и их формализованное описание
Логические ресурсы системы – ЛР. Di (i = 1 – m) – ЛР в ЛР Ds проверяется ps – условие Внутренние ЛР Ai ( {P1i}, {P2i} ) Пример: Ai ( {p1, p2}, {p2, p3} ) ps – {P2i} – изменяется Ai → Ds – занято ps – {P1i} – не изменяется Ai → Ds – не занято Описание ЛР в сети Петри. ds – наличие метки – нет монополии Ds ds1 – наличие метки – ps = 1 ds0 – наличие метки – ps = 0 Пример 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) Пример 2: Ai не зависит от ps, но меняет его. входные позиции tдi: aµ, ds Т.к. ps не проверяется в начале, то: удаляется метка из ds0 (или ds1) помещается метка в ds0 (или ds1) если после Ai ps = 0 (или 1) Пример 3: Ai зависит от ps, но не меняет его. ↓ новый тип дуг – неизменяющиеся. tv c aµ неизменяющейся дугой, то в aµ должна быть метка, но она не удаляется Если Ai ( {ps}, {-} ), то ds1 c tдi неизменяющейся дугой Если Ai ( {ps}, {-} ), то ds0 c tдj неизменяющейся дугой ds не используется