time expression (выражение для описания времени)

Выражение, описывающее абсолютное или относительное значение времени. Используется для определения события времени.

Семантика

Как правило, выражения для описания времени представляют собой либо время, истекшее с момента входа в какое-либо состояние, либо наступление определенного абсолютного времени. Все прочие выражения для описания времени должны определяться каким-либо особым образом.

Нотация

Истекшее время. Событие, указывающее на истечение некоторого промежутка времени после входа в состояние, в котором содержится переход, изображается при помощи ключевого слова after, за которым следует выражение, равное (во время моделирования) требуемому количеству времени.
after (10 seconds)
after (10 seconds since exit form state A)
Если точки отсчета не существует, то это время, истекшее с момента входа и состояние, в котором содержится переход.
Абсолютное время. Событие, указывающее на наступление абсолютного времени, изображается при помощи ключевого слова when, за которым следует взятое в скобки логическое выражение, в котором указано время, when (date = Jan 1, 2000)