обмежувач, Е - рівень пріоритету
LEAVE - звільнення певної кількості паралельно працюючих каналів, де А - ім'я (символічне або числове) багатоканального пристрою, В - число займаних каналів.
LOOP - організація циклу, де А - лічильник циклу (число або ім'я), В - початок циклу (число або ім'я).
MATCH - блок синхронізації руху двох повідомлень, що належать до одного сімейства, без видалення цих повідомлень з моделі, де А - ім'я або номер іншого блоку MATCH, званого "сполученим блоком MATCH". Якщо такого блоку немає, відбувається зупинка помилково. Блоки MATCH не об'єднують синхронізуються повідомлення. Синхронізація здійснюється шляхом підбору пар повідомлень з одного сімейства і затримки цих повідомлень до тих пір, поки обидва повідомлення з однієї пари не надійдуть в задані точки моделі. Повідомлення ніколи не затримуються в блоці MATCH. Повідомлення, для яких виконана умова синхронізації, переходять до наступного за номером блоку. В одній парі блоків MATCH можуть одночасно перебувати в стані синхронізації пари повідомлень з різних родин. Можлива також одночасна синхронізації пар повідомлень з одного сімейства в декількох блоках MATCH. p align="justify"> PRIORITY - зміна рівня пріоритету транзакта, де А - значення, що привласнюється в якості рівня пріоритету активного транзакта.
PREEMPT - зайняти пристрій. Блок PREEMPT може затримати повідомлення на вході, де А - визначає номер або ім'я пристрою, на якому генерується переривання, В - задає пріоритетний режим (PR) або режим переривання, якщо операнд опущений. p align="justify"> QUEUE - збір статистики при очікуванні (стати в чергу), де А - ім'я черги, довжина черги збільшується на одиницю.
RELEASE - звільнення зайнятого пристрої, де А - ім'я вивільняється пристрою.
RETURN - звільнення раніше захопленого пристрої, де А номер пристрою, з якого знімається переривання. Переривання може бути знято в блоці RETURN тільки тим повідомленням, яким воно було генерувати. p align="justify"> SELECT Х - вибирає перший елемент у заданому діапазоні, який задовольняє певній умові. Номер цього об'єкта записується в заданий параметр увійшов до блоку транзакта, дії блоку SELECT аналогічні дії блоку COUNT. p align="justify"> SAVEVALUE - заміна, збільшення або зменшення поточного вмісту комірки, де А - збереження значення, може закінчуватися знаками + або -, В - задається значення для запам'ятовування, додавання або віднімання.
SAVAIL - переводить задане багатоканальне пристрій зі стану недоступності в стан доступності. Якщо заданий багатоканальне пристрій вже знаходиться в стані доступності, блок SAVAIL виступає як порожній блок. А - номер багатоканального пристрою, який слід перевести у стан доступності. p align="justify"> SUNAVAIL - переводить задане багатоканальне пристрій зі стану доступності...
