MET2 MATCH MET1
При входе транзакта в один из блоков проверяется наличие транзакта данного семейства в сопряжённом блоке. Если его нет, то данный транзакт помещается в список синхронизации и будет ждать появления своего «брата» в сопряжённом блоке. Если он там есть, то оба транзакта одновременно пропускаются в следующие блоки и удаляются из списка синхронизации.
Рассмотрим пример. Техническое обслуживание (ТО) средств связи проводят в два этапа две группы специалистов. После поступления (190 мин) выполняется первый этап специалистами обеих групп параллельно (80 мин. и
70 мин). Затем происходит уточнение мероприятий, время на него будем считать нулевым. После выполняется второй этап со средним временем 30 и 40 мин. Затем третья группа проводит комплексную проверку средства в течении 60 мин. Все интервалы поступления и времени обслуживания подчинены экспоненциальному закону. Определить коэффициенты занятости групп специалистов.
Построим модель, модельное время – секунда:
Post EQU 11400; интервал поступления средств связи
Obs2 Equ 4800; среднее время 1 группой на 1 этапе
Obs3 Equ 4200; 2 группой на 1 этапе
Obs4 Equ 1800; 1 группой на 2 этапе
Obs5 Equ 2400; 2 группой на 2 этапе
Obs6 Equ 3600; 3 группой на 3 этапе
Generate (Exponential(1,0,Post)); источник средств связи
Split 1,Met1; разделение на два транзакта
Seize Gr1;занять первую группу
Advance (Exponential(2,0,Obs2))
Par1 Match Par2;уточнение плана мероприятий
Advance (Exponential(2,0,Obs4))
Release Gr1
Transfer,Met2
Met1 seize Gr2;занять 2 группу
Advance (Exponential(2,0,Obs3))
Par2 Match Par1;уточнение плана мероприятий
Advance (Exponential(2,0,Obs5))
Release Gr2
Met2 Assemble 2;передача СС 3 группе
Seize Gr3
Advance (Exponential(2,0,Obs6))
Release Gr3