| Название и формат | Операнды | ||||
| имя | значение | тип* | |||
| 1. Источник потока транзактов Формат: GENERATE А,В,С,D,Е | [А] | Среднее время | 1...5, 10 | ||
| [В] | Полуинтервал или модификатор-функция | 1...5, 10 | |||
| [С] | Время начальной задержки | 1...5, 10 | |||
| [D] | Количество генерируемых транзактов | 1...5, 8, 10 | |||
| [Е] | Приоритет | 1,2,4,5,8, 9 | |||
| 2. Удаление из модели транзактов Формат: TERMINATE A | [А] | Величина уменьшения счетчика завершения | 1, 2, 5...S | ||
| 3. Задержка транзакта на заданный отрезок модельного времени Формат: ADVANCE А,В | А | Среднее время задержки | 2.. .7 | ||
| [В] | Полуинтервал или модификатор-функция | 1...7 | |||
| 4. Присвоение или изменение значения параметра Формат: ASSIGN А[±],В,С | А | Параметр активного транзакта | 2…7 | ||
| | | | |||
| В | Значение | 1…7 | |||
| | | | |||
| [С] | Номер функции | 1, 2, 5…8 | |||
| 5. Установка приоритета активному транзакту Формат: PRIORITY А,В | А | Новое значение приоритета | 2, 4...7, 9 | ||
| [В] | Помещение транзакта в СТС | 1, BU | |||
| 6. Занятие устройства Формат: SEIZE A | А | Имя или номер устройства | 2, 5. ..8 | ||
| 7. Освобождение занятого устройства Формат: RELEASE A | А | Имя или номер устройства | 2, 5.. .8 | ||
| 8. Захват устройства Формат: PREEMPT А,В,С,D,Е | А | Имя или номер устройства | 2, 5.. .8 | ||
| [В] | Режим | 1, PR | |||
| [С] | Метка блока | 1, 2, 5.. .8 | |||
| [D] | Имя или номер параметра | 1,2, 5...S | |||
| | [Е] | Режим удаления | RE | ||
| 9. Освобождение устройства от захвата Формат: RETURN A | А | | 2, 5.. .8 | ||
| | | | |||
| 10. Перевод устройства в недоступное состояние Формат: FUNAVAIL A,B, С,D,Е,F,G,Н | А | Имя или номер устройства | 2, S...8 | ||
| [В] | Режим удаления или продолжения | 1, RE, СО | |||
| [С] | Метка блока выхода | 1, 2, 5…8 | |||
| [D] | Имя или параметр устройства | 1, 2, 5…8 | |||
| [Е] | Режим удаления или продолжения | 1, RE, СО | |||
| [F] | Метка блока выхода | 1, 2, 5…8 | |||
| [G] | Режим удаления или продолжения | 1, RE, СО | |||
| | [Н] | Метка блока выхода | 1,2, 5…8 | ||
| 11. Перевод устройства в доступное состояние Формат: FAVAIL А | А | Имя или номер устройства | 2, 5…8 | ||
| | | | |||
| 12. Занятие памяти (МКУ) Формат: ENTER А,В | А | Имя или номер памяти | 2, 5…8 | ||
| | | | |||
| [В] | Число занимаемых элементов памяти | 1,2, 5…8 | |||
| 13. Освобождение памяти (МКУ) Формат: LEAVE А,В | А | Имя или номер памяти | 2, 5…8 | ||
| | | | |||
| [В] | Число освобождаемых элементов памяти | 1, 2, 5…8 | |||
| 14. Перевод памяти в недоступное состояние Формат: SUNAVAIL A | А | Имя или номер памяти | 2, 5…8 | ||
| 15. Перевод памяти в доступное состояние Формат: SAVAIL А | А | Имя или номер памяти | 2, 5...8 | ||
| 16. Увеличение длины очереди Формат: QUEUE А,В | А | Имя или номер очереди | 2, 5...8 | ||
| [В] | Число, на которое увеличивается длина очереди | 1,2,5...8 | |||
| 17. Уменьшение длины очереди Формат: DEPART А,В | А | Имя или номер очереди | 2, 5.. .8 | ||
| [В] | Число, на которое уменьшается длина очереди | 1,2,5...8 | |||
| 18. Присоединение транзакта к списку пользователя Формат: LINK А,В,С | А | Имя или номер списка пользователя | 2, 5...8 | ||
| В | Задание дисциплины обслуживания | 5...7, LIFO, FIFO | |||
| [С] | Метка альтернативного блока | 1, 2, 5…8 | |||
| 19. Удаление транзакта из списка пользователя Формат: UNLINK X А,В, С,D,E | [X] | Условный оператор | 1,G,GE, L, LE, E, NE | ||
| А | Имя или номер списка пользователя | 2, 5...S | |||
| В | Метка блока выхода | 2, 5.. .8 | |||
| [С] | Число удаляемых транзактов | 1, 2, 5...8 ALL | |||
| [D] | Имя или номер параметра | 1,2, 5.. .8 BACK | |||
| [Е] | Аргумент для сравнения | 1...7 | |||
| [F] | Метка альтернативного блока | 1, 2, 5. ..8 | |||
| 20. Модификация значения ячейки Формат: SAVEVALUE A[±],B | А | Имя или номер ячейки | 2, 5…8 | ||
| | | ||||
| В | Модификатор | 2…7 | |||
| | | ||||
| 21. Изменение состояния логического ключа Формат: LOGIC X A | X | Логический оператор | S, R, I | ||
| | | ||||
| | | ||||
| А | Имя или номер логического ключа | 2, 5…8 | |||
| | |||||
| | | ||||
| 22. Переход активного транзакта в указанный блок Формат: TRANSFER А,В,С,D | [А] | Режим перехода: безусловный; статистический; параметрический; функциональный; оба; все; выборочный; одновременный; подпрограммный. | 1,2, 5…8 [,] .XXX P FN BOTH ALL PICK SIM SBR | ||
| | [В] | Имя или номер блока (параметра, функции) | 1,2, 5…8 | ||
| | [С] | Имя или номер блока (аргумент для режимов Р и FN) | 1, 2, 5.. .8 | ||
| | [D] | Шаг нумерации блоков для режима ALL | 1,2,5-8 | ||
| 23. Управление потоком транзактов в зависимости от результата сравнения операндов Формат: TEST X А, В, С | X | Условный оператор | G, GE, L, LE, N, NE | ||
| | Первая сравниваемая величина | 2 7 | |||
| A | | ||||
| В | Вторая сравниваемая величина | 2.. .7 | |||
| [С] | Метки блока | 1,2, 5.. .8 | |||
| 24. Управление потоком транзактов в зависимости от состояния устройства Формат: GATE X А,В | X | Проверяемое условие: занято или нет; захвачено или нет; доступно или нет | U, NU, I, NI, FV, FNV | ||
| А | Имя или номер устройства | 2, 5…8 | |||
| [В] | Метка блока | 1, 2, 5…8 | |||
| 25. Управление потоком транзактов в зависимости от состояния памяти Формат: GATE X А,В | X | Проверяемое условие: пусто или нет; заполнено или нет; доступно или нет | SE, SNE, SF, SNF, SV, SNV | ||
| А | Имя или номер памяти | 2, 3...8 | |||
| | [В] | Метка блока | 1, 2, 5...8 | ||
| 26. Управление потоком транзактов в зависимости от состояния ключа Формат: GATE X А,В | X | Проверяемое условие: ключ установлен или нет | LS, LR | ||
| А | Имя или номер логического ключа | 2, 5…8 | |||
| | [В] | Метка блока | 1, 2, 5…8 | ||
| 27. Управление потоком транзактов в зависимости от состояния синхронизации проверяемого транзакта Формат: GATE X А, B | X | Проверяемое условие: есть транзакт, ожидающий условия синхронизации, в указанном блоке MATCH или нет | M, NM | ||
| А | Mетка блока МАTCH | 2, 5…8 | |||
| [В] | Метка блока | 1, 2, 5…8 | |||
| 28. Организация циклического прохождения транзактов в модели Формат: LOOP А,В | А | Параметр, содержащий число циклов | 2, 5.. .8 | ||
| [В] | Метка блока – начало цикла | 1, 2, 5…8 | |||
| 29. Создание необходимого числа копий (семейства) активного транзакта Формат: SPLIT А,В,С | А | Количество создаваемых копий | 2, 5.. .8 | ||
| | | | |||
| [В] | Метка блока для входа копий | 1, 2, 3…8 | |||
| [С] | Имя или номер параметра, в который помещаются порядковые номера копий | 1, 2, 5…8 | |||
| 30. Объединение транзактов одного семейства Формат: ASSEMBLE A | А | Количество собираемых транзактов | 2, 5…8 | ||
| 31. Накопление заданного числа транзактов одного семейства Формат: GATHER A | А | Количество транзактов, которые необходимо накопить | 2, 5…8 | ||
| 32. Синхронизация движения двух транзактов одного семейства Формат: MATCH A | А | Метка сопряженного блока MATCH | 2, 5…8 | ||
| 33. Разрешение тразакту на выполнение операции любого другого блока Формат: EXECUTE A | А | Метка блока, операция которого выполняется активным транзактом | 2, 5…8 | ||