128 п R Рис. 2.13. Применение /f-блоков при разрешении конфликтов на R Здесь первые П-блоки реализуют процессы Z\ и Z2’ в пространстве Q\R\ затем производится пассивизация инициаторов Ц и 72, они переводятся в параметры а и b соответственно, /f-блок рассматривает ситуацию с входными параметрами в соответствие с собственным алгоритмом. Приняв решение о захвате ресурса каким-либо процессом, /f-блок передает а или Ъ в параметр е и активизирует его, отсылая в /7-блок ресурса R. После завершения процесса в R выдается сигнал в параметре/ в ответ на который /С-блок передает параметринициатор в с либо d и активизирует его, отсылая на продолжение процесса Zf’ либо Z2” в соответствующие /7-блоки. Использование /f-блоков является наиболее универсальным способом управления множеством процессов при захвате ресурсов. 2.7. Моделирование интеграции приложений на основе развертки сетей Петри в сети-процессы Введение обобщенных процессов, в которых действия и изменения условий могут быть связаны не только отношениями следования и параллелизма, но и отношениями альтернативы и конкуренции, позволяет ставить вопрос об установлении взаимно-однозначного соответствия между сетями Петри и порождаемыми ими сетями-процессами. Когда связь |
59 Применение семафоров для управления захватом ресурсов широко используется в системах управления, в частности, в операционных системах [43]. В. Контроллеры. Наиболее общий способ управления процессами при захвате ресурсов состоит в создании соответствующих К-блоков. Так, для примера двух процессов (рис.2.7.) может быть предложена следующая блочная схема (рис.2.8.). Рис. 2.8. Применение К-блоков при разрешении конфликтов на Я Здесь первые П-блоки реализуют процессы 2\ и 21 в пространстве 0 К ; затем производится пассивизация инициаторов 1\ и /2, они переводятся в параметры а и Ь соответственно. К-блок рассматривает ситуацию с входными параметрами в соответствие с собственным алгоритмом. Приняв решение о захвате ресурса каким-либо процессом, К-блок передает а или Ь в параметр е и активизирует его, отсылая в 77-блок ресурса 7?. После завершения процесса в Я выдается сигнал в параметре/ в ответ на который К-блок передает параметринициатор в с либо (1 и активизирует его, отсылая на продолжение процесса 2 ” либо 2 2” в соответствующие 77-блоки. Использование Тб-блоков является наиболее универсальным способом управления множеством процессов при захвате ресурсов. 60 2.4. Моделирование интеграции приложений на основе развертки сетей Петри в сети-процессы Введение обобщенных процессов, в которых действия и изменения условий могут быть связаны не только отношениями следования и параллелизма, но и отношениями альтернативы и конкуренции, позволяет ставить вопрос об установлении взаимно-однозначного соответствия между сетями Петри и порождаемыми ими сетями-процессами. Когда связь установлена, можно следующим образом перенести на сети Петри определения тех свойств, которые были введены для сетей-процессов. Будем говорить, что сеть Петри является плот ной ( К -плот ной), если порождаемая ею сеть-процесс является плотной ( К -, Ь -, М -плотной). Сопоставление сети Петри порождаемой сети-процесса будет рассматриваться как результат некоторого преобразования развертки исходной сети. Поскольку сеть, задающая процесс, может быть в общем случае бесконечной, то процедура развертки сводится к построению некоторого префикса сети-процесса, заканчивающегося указанием на бесконечное повторение ее периодического фрагмента. Для сети Петри, являющейся конечной сетью, удовлетворяющей ограничения А1-А7, преобразование развертки тривиально: исходная сеть и порождаемая ею сеть-процесс совпадают. Назовем циклическим компонентом примитивной сети N ее максимальную циклическую подсеть Ы' такую, что Уу е X 1Х ' , 3 * е Г : Г х ^ +У а у ^ +Х Л Любой циклический компонент представим в виде формулы сети, начинающейся операцией итерации *. Максимальная подсеть сети N , не содержащая внутри ни одного циклического компонента, образует ациклический компонент. Любую примитивную сеть м можно представить как конечную чередующуюся последовательность циклических и ациклических |