А конечный автомат прям распределённый нужен?
не совсем. короче, смотри, есть сущность, которая этим автоматом описывается, с мелким пучком таймеров, что стартуют из разных его состояний,
да к пучку асинхронных процессов, которые тоже должны по стартовать изменению состояния.
предполагается, что все это добро должно как-то персиститься и переживать всякие рестарты, сбои и т.д.
этих сущностей много, каждая должна быть в одном экземпляре.