Leave a,b

А – номер или имя накопителя, В – количество освобождаемых единиц

Когда транзакт входит в блок ENTER, интерпретатор выполня­ет следующие действия:

1) увеличивает счетчик входов МКУ на значение операнда В;

2) увеличивает текущее содержимое МКУ на значение операнда В;

3) уменьшает доступную емкость МКУ на значение операнда В.

Когда транзакт входит в блок LEAVE, интерпретатор выполняет обратные действия:

1) уменьшает текущее содержимое МКУ на значение операнда В;

2) увеличивает доступную емкость МКУ на значение операнда В.

ENTER BOAT,2

LEAVE BOAT,2

Все используемые в модели МКУ должны быть заранее описаны, т.е. должно быть определено количе­ство однотипных устройств, входящих в МКУ. Для этого использует­ся оператор STORAGE (ХРАНИЛИЩЕ или ПАМЯТЬ), определяю­щий емкость МКУ.

<имя> STORAGE А

Описание оператора находится вне основного тела программы, без нумерации

А – емкость накопителя

Имя(метка) используется для обращения или ссылки на оператор. TERMINAL1 STORAGE