Операнд А – параметр транзакта (зміна циклу), що визначає число повторень якої-небудь ділянки моделі. Операнд В – мітка блоку, з якого починається цикл. В цей блок переходить транзакт, коли параметр, на який здійснюється посилання операндом А, не дорівнює нулеві. Проходження транзактом одного циклу зменшує значення параметра операнда А на одиницю. Коли значення параметра в операнді А дорівнює нулеві, то транзакт переходить до наступного блоку.
Операнди А і В можуть бути назвою, додатним цілим числом, виразом у дужках, СЧА або СЧА*параметр. Як правило, блок LOOP застосовується у парі з блоком ASSIGN.
Роботу блоку LOOP розглянемо на прикладі:
ASSIGN Krosh,5
Start1 SEIZE PC
.....
RELEASE PC