Название и формат
|
Операнды
|
Графическое изображение
|
имя
| значение
|
1. Источник потока транзактов
Формат:
GENERATE А, В, С, D, Е, F
| [A]
| Среднее время
|
|
[B]
| Полуинтервал или модификатор-функция
|
[C]
| Время начальной задержки
|
[D]
| Количество генерируемых транзактов
|
[E]
| Приоритет
|
[F]
| Число параметров (атрибутов) транзакта
|
2. Удаление из модели транзакта
Формат:
TERMINAE A
| [А]
| Величина уменьшения счетчика завершения
|
|
3. Задержка транзакта на заданный отрезок модельного времени
Формат:
ADVANCE A, B
| A
| Среднее время задержки
|
|
[B]
| Полуинтервал или модификатор-функция
|
4. Присвоение или изменение значения параметра
Формат:
ASSIGN A[±], B, C
| A
| Параметр активного транзакта
|
|
B
| Значение
|
[C]
| Номер функции
|
5. Задержка транзакта на заданный отрезок модельного времени
Формат:
PRIORITY A, B
| A
| Новое значение приоритета
|
|
[B]
| Помещение транзакта в СТС
|
6. Занятие устройства
Формат:
SEIZE A
| А
| Имя или номер устройства
|
|
7. Освобождение занятого устройства
Формат:
RELEASE A
| A
| Имя или номер устройства
|
|
8. Захват устройства
Формат:
PREEMPT A, B, C, D, E
| A
| Имя или номер устройства
|
|
[B]
| Режим
|
[C]
| Метка блока
|
[D]
| Имя или номер параметра
|
[E]
| Режим удаления
|
9. Освобождение устройства от захвата
Формат:
RETURN A
| А
|
|
|
10. Перевод устройства в недоступное состояние
Формат:
FUNAVAL A, B, C, D, E, F, G, H
| A
| Имя или номер устройства
|
|
[B]
| Режим удаления или продолжения
|
[C]
| Метка блока выхода
|
[D]
| Имя или параметр устройства
|
[E]
| Режим удаления или продолжения
|
[F]
| Метка блока выхода
|
[G]
| Режим удаления или продолжения
|
[H]
| Метка блока выхода
|
11. Перевод устройства в доступное состояние
Формат:
FAVAL A
| A
| Имя или номер устройства
|
|
12. Занятие памяти
Формат:
ENTER A, B
| A
| Имя или номер устройства
|
|
[B]
| Число занимаемых элементов памяти
|
13. Освобождение памяти
Формат:
LEAVE A, B
| A
| Имя или номер устройства
|
|
[B]
| Число освобождаемых элементов памяти
|
14. Перевод памяти в недоступное состояние
Формат:
SUNAVAL A
| A
| Имя или номер устройства
|
|
15. Перевод памяти в доступное состояние
Формат:
SAVAL A
| A
| Имя или номер устройства
|
|
16. Увеличение длины очереди
Формат:
QUEUE A, B
| A
| Имя или номер устройства
|
|
[B]
| Число, на которое увеличивается длина очереди
|
17. Уменьшение длины очереди
Формат:
DEPART A, B
| A
| Имя или номер устройства
|
|
[B]
| Число, на которое уменьшается длина очереди
|
18. Присоединение транзакта к списку пользователя
Формат:
LINK A, B, C
| A
| Имя или номер устройства
|
|
B
| Задание дисциплины обслуживания
|
[C]
| Метка альтернативного блока
|
19. Удаление транзакта из списка пользователя
Формат:
UNLINK X A, B, C, D, E, F
| [X]
| Условный оператор
|
|
A
| Имя или номер устройства
|
B
| Метка блока выхода
|
[C]
| Число удаляемых транзактов
|
[D]
| Имя или номер параметров
|
[E]
| Аргумент для сравнения
|
[F]
| Метка альтернативного блока
|
20. Модификация значения ячейки
Формат:
SAVEVALUE A[±], B
| А
| Имя или номер ячейки
|
|
В
| Модификатор
|
21. Изменение состояния логического ключа
Формат:
LOGIK Х А
| Х
| Логический оператор
|
|
А
| Имя или номер логического ключа
|
22. Переход активного транзакта в указанный блок
Формат:
TRANSFER
| [A]
| Режим перехода: безусловный, статистический, параметрический, функциональный, оба, все, выборочный, одновременный, подпрограммный
|
|
[B]
| Имя или номер блока (параметра, функции)
|
[C]
| Имя или номер блока (аргумент для режимов P и FN)
|
[D]
| Шаг нумерации блоков для режима ALL
|
23. Управление потоком транзактов в зависимости от результата сравнения операндов
Формат:
TEST X A, B, C,
| X
| Условный оператор
|
|
A
| Первая сравниваемая величина
|
B
| Вторая сравниваемая величина
|
[C]
| Метка блока
|
24. Управление потоком транзактов в зависимости от состояния устройства
Формат:
GATE X A, B
| X
| Проверяемое условие:
занято или нет;
захвачено или нет;
доступно или нет
|
|
A
| Имя или номер устройства
|
[B]
| Метка блока
|
25. Управление потоком транзактов в зависимости от состояния памяти
Формат:
GATE X A, B
| X
| Проверяемое условие:
пусто или нет;
заполнено или нет;
доступно или нет
|
|
A
| Имя или номер памяти
|
[B]
| Метка блока
|
26. Управление потоком транзактов в зависимости от состояния ключа
Формат:
GATE X A, B
| X
| Проверяемое условие:
ключ установлен или нет
|
|
A
| Имя или номер логического ключа
|
[B]
| Метка блока
|
27. Управление потоком транзактов в зависимости от состояния синхронизации проверяемого транзакта
Формат:
GATE X A, B
| X
| Проверяемое условие:
есть транзакт ожидающий условия синхронизации, в указанном блоке MATCH
|
|
A
| Метка блока MATCH
|
[B]
| Метка блока
|
28. Организация циклического прохождения транзактов в модели
Формат:
LOOP A, B
| A
| Параметр содержащий число циклов
|
|
[B]
| Метка блока – начало цикла
|
29. Создание необходимого числа копий (семейства) активного транзакта
Формат:
SPLIT A, B, C
| A
| Количество создаваемых копий
|
|
[B]
| Метка блока для входа копий
|
[C]
| Имя или номер параметра, в который помещаются порядковые номера копий
|
30. Объединение транзактов одного семейства
Формат:
ASSEMBLE A
| A
| Количество собираемых транзактов
|
|
31. Накопление заданного числа транзактов одного семейства
Формат:
GATHER A
| A
| Количество транзактов, которые необходимо накопить
|
|
32. Синхронизация движения двух транзактов одного семейства
Формат:
MATCH A
| A
| Метка сопряженного блока MATCH
|
|
33. Разрешение транзакту на выполнение операции любого другого блока
Формат:
EXECUTE A
| A
| Метка блока, операция которого выполняется активным транзактом
|
|
34. Идти в хвост цепи текущих событий
Формат:
BUFFER
|
|
|
|
35. Определить вместимость накопителя
Формат:
< Имя> STORAGE A
| A
|
|
|
36. Выбрать элемент
Формат:
SELECT А, В, С, D, Е, F, G
| A
|
|
|
B
|
|
C
|
|
D
|
|
E
|
|
F
|
|
G
|
|
37. Собрать табличные данные элемента
Формат:
TABULATE А, В
|
|
|
|
38. Определить эквивалентность
Формат:
EQU A, B
|
|
|
|
39. Определить целую переменную
Формат:
< Имя> VARIABLE A
|
|
|
|
40. Определить вещественную переменную
Формат:
< Имя> FVARIABLE A
|
|
|
|
41. Определить булеву переменную
Формат:
< Имя> BVARIABLE A
|
|
|
|
42. Определить функцию
Формат:
< Имя> FUNCTION A, B
|
|
|
|
43. Определить таблицу
Формат:
< Имя> TABLE A, B, C, D, E
|
|
|
|
44. Определить таблицу для очереди
Формат:
QTABLE A, B, C, D
|
|
|
|