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