Аргументы:
CLAIM BOOLEAN команда “проверить и установить”
RELEASE BOOLEAN освободить семафор
BUSY BOOLEAN состояние семафора
Описание:
(* "x" - это булевская переменная проинициализированная значением FALSE *)
busy := x;
If claim Then
x := True;
Else
If release Then
busy := False;
x := False;
End_if;
End_if;