Конечное состояние изображается кружком с черным кружком меньшего размера в центре:
Из конечного состояния не может исходить ни один переход.
Конечное состояние не может иметь входных или выходных действий, а также локальной деятельности.
Переход в конечное состояние означает, что функционирование карты поведения завершилось и, если это карта поведения всей модели в целом
(карта объекта «model»), что завершился вычислительный эксперимент.
Предопределенная функция finalized(obj: object) возвращает значение true, если собственное поведение объекта obj задается
картой поведения и текущим в этой карте поведения является конечное состояние.
В карте поведения может существоать несколько конечных состояний.