Пакет Автоматы — специфицирует поведение при построении моделей с использованием систем переходов для конечного множества состояний