ТБВ Таблица Будущих Времен, структура которой приведена на рис.4.1. Каждая строка ТБВ соответствует одному процессу и содержит следующие элементы описания будущего активного события: столбец 1 значение момента времени активизации инициатора, определяемого предшествующим оператором h' ; столбец 2 инициатор процесса; столбец 3 адрес подпрограммы активного события в треке данного процесса. 118 Моделирующий алгоритм сканирующего типа от {h.} Рис. 4.2. Структура таблицы ТБВ. -1-2-3момент активизации значение инициатора адрес активной подпрограммы • • •. • • •. • • •. Рис. 4.3. |
Параметр ИНИЦИАТОР содержит значение текущего инициатора (ссылку на локальную среду процесса). КАЛЕНДАРЬ алгоритм, реализующий монотонно возрастающее продвижение модельного времени по формуле (2.14) и начало нового КОС в системе. АПУ алгоритм проверки условий, обеспечивающий построение КОС для текущего значения модельного времени. ТБВ Таблица Будущих Времен, структура которой приведена на рис.2.25. Каждая строка ТБВ соответствует одному процессу и содержит следующие элементы описания будущего активного события: столбец 1 значение момента времени активизации инициатора, определяемого предшествующим оператором И ; столбец 2 инициатор процесса; столбец 3 адрес подпрограммы активного события в треке данного процесса. 105 -1 -2 -3момент активизации значение инициатора адрес активной подпрограммы • * *. • • •. • • • Рис. 2.25. Структура таблицы ТБВ. Совокупность значений атрибута “момент активизации"’ таблицы ТБВ составляет в любой момент модельного времени активное временное множество. ТУ Таблица Условий, структура которой приведена на рис.2.26. Каждая строка ТУ соответствует одному процессу и содержит следующие элементы описания будущего пассивного события: |