Повторить до достижения текущего момента времени
(
)
Junction
Сформулировать условия конечного состояния в будущем
2.4 Обратная трансляция