Блок terminate

Транзакты удаляются из модели, попадая в блок TERMINATE (завершить). В этот момент освобождается память, выделенная под транзакт. Блоки TERMINATE всегда позволяют выйти из модели всем транзактам, которые пытаются это сделать. В модели может быть любое количе­ство блоков TERMINATE.

Формат записи блока:

TERMINATE [A]

Операнд А задает величину уменьшения счет­чика завершения, т. е. операнд задает величину, которая вычитается из счетчика каждый раз, когда транзакт входит в блок TERMINATE. По умолчанию A = 0. Вход транзакта в блок TERMINATE c нулевым значением операнда А не вызывает уменьшения счетчика завершения.