Построение оценки множества достижимости для задачи моделирования потоков людейдоклад на конференции