В очередной раз пришел к выводу: какой же крутой инструмент этот ваш конечный автомат при разработке ПО. Во-первых, когда его рисуешь отрабатываешь сценарии и кейсы, которые в простых тезисах или use-case мог упустить (это субтективно мое личное мнение), а второе - взять к примеру шаг (действие) внутри конечного автомата и нагляднее придумать асинхронные шаги, если таковы потребуются для масштабирования