?
Evaluating Structural Complexity of Workflow Nets Modeling Asynchronous Agent Interactions
Proceedings of the Institute for System Programming of the RAS. 2025. Vol. 37. No. 4-2. P. 47–68.
Е. Zemlyanoy, R. Nesterov
Ключевые слова: структурная сложностьсети Петриstructural complexityPetri netsmulti-agent systemsмногоагентные системыworkflow netsАсинхронное взаимодействиесинтез моделей процессовсети потоков работasynchronous interaction process mining
ПУБЛИКАЦИЯ ПОДГОТОВЛЕНА ПО РЕЗУЛЬТАТАМ ПРОЕКТА:
Qian X., Guan X., Zhang B. и др., Journal of Global Optimization 2026
Добавлено: 27 сентября 2026 г.
Switzerland: Springer Cham, 2026.
Добавлено: 25 сентября 2026 г.
Добавлено: 25 сентября 2026 г.
Дубич Е. В., Щагин Д. В., Славянский форум 2026 № 2 (52) С. 560–565
В статье сравниваются протоколы HTTP/2 и HTTP/3 при передаче статических файлов в условиях программно моделируемой сетевой деградации. Эксперимент показал, что HTTP/3 не является универсально более быстрым, но устойчивее проявляет себя при росте задержки и потерь пакетов. ...
Добавлено: 25 сентября 2026 г.
Joulitov A.K., Lomazova I.A., Proceedings of the Institute for System Programming of the RAS 2026 Vol. 38 No. 4(2) P. 215–224
В майнинге процессов (process mining) графы непосредственного следования (Directly-Follows Graph, DFG) популярны благодаря своей простоте и наглядности. Однако, если процесс является ациклическим, но содержит параллельные события, стандартные алгоритмы построения DFG-моделей могут генерировать «ложные» циклы, которыe не представлены в журнале событий. Такие циклы мешают анализу информационных процессов, значительно снижая интерпретируемость и точность (precision) модели. Эта проблема ...
Добавлено: 24 сентября 2026 г.
Добрина Д. Н., Нестеренко А. Ю., Прикладная дискретная математика. Приложение 2026 № 19 С. 151–159
Работа содержит результаты формального анализа криптографических механизмов, входящих в состав проекта методических рекомендаций «Защищенный универсальный протокол передачи данных и управления микросхемой интеллектуальной карты» (протокол SECUNDA). Получена формальная модель и перечень трудноразрешимых математических задач, трудоёмкостью решения которых можно оценить стойкость используемых криптографических механизмов. ...
Добавлено: 24 сентября 2026 г.
I.I. Sergeev, I.A. Lomazova, Modeling and Analysis of Information Systems 2026 Vol. 33 No. 3 P. 394–419
Объектно-ориентированный process mining сформировался как эффективная парадигма анализа событийных данных, включающих несколько взаимодействующих бизнес-объектов. Существующие методы обнаружения моделей часто опираются на объектно-ориентированные сети Петри с фиксированными кратностями дуг, что ограничивает их способность представлять параметрические закономерности потребления и производства ресурсов, а также отражать количественные зависимости между взаимодействующими типами объектов. В данной работе предлагается метод обнаружения объектно-ориентированных ...
Добавлено: 24 сентября 2026 г.
Паршаков П. А., Паклина С. Н., International Journal of Human-Computer Interaction 2026 P. 1–17
Добавлено: 23 сентября 2026 г.
Андраби У. М., Wadood E., Ojha S. K. и др., IEEE Access 2026 Vol. 14 P. 103358–103375
Добавлено: 23 сентября 2026 г.
Добавлено: 23 сентября 2026 г.
Кертес-Фаркаш А., Аквей Ф. Л., Journal of Proteome Research 2026 Vol. 25 P. 3764–3768
Добавлено: 23 сентября 2026 г.
Maddalena L., Yildiz B., Del Vecchio Blanco F. и др., Risk Analysis 2026 Vol. 46 No. 4 P. 1–26
Добавлено: 22 сентября 2026 г.
Aleksei Samarin, Alexander Savelev, Aleksei Toropov и др., Pattern Recognition and Image Analysis 2024 Vol. 34 No. 3 P. 855–862
Добавлено: 21 сентября 2026 г.
Aleksei Samarin, Назаренко А. А., Alexander Savelev и др., Pattern Recognition and Image Analysis 2024 Vol. 34 No. 3 P. 844–854
Добавлено: 21 сентября 2026 г.
Aleksei Samarin, Alexander Savelev, Aleksei Toropov и др., Optical Memory and Neural Networks (Information Optics) 2024 Vol. 33 P. 424–434
Добавлено: 21 сентября 2026 г.
Воронова К. Д., Лядова Л. Н., Proceedings of the Institute for System Programming of the RAS 2026 Vol. 38 No. 4 P. 153–170
Заголовок: Автоматизированное формирование журналов событий на основе неструктурированных Интернет-источников для задач анализа процессов.
Аннотация: В статье представлен подход к автоматизированному структурированию информации о событиях, извлекаемой из неструктурированных текстовых Интернет-источников, для задач углублённого анализа процессов. Во многих практических случаях сведения о событиях, происходящих в рамках различных процессов, представлены не в виде готовых журналов событий, а распределены по новостным публикациям, отчётам ...
Добавлено: 14 сентября 2026 г.
Лебедев О. Б., Котов Д. В., Известия ЮФУ. Технические науки 2024 № 1(237) С. 155–167
Основным способом решения задач планирования и управления движением является использование интеллектуальных технологий. При этом интеллектуальные технологии применяются для решения задач постановки и корректировки целей управления и программы действий по реализации этих целей, а также для формирования алгоритма управления в условиях неопределенности, обусловленной различными факторами, в исполнительных элементах, подсистеме управления движением, подсистеме планирования и поведения. Данная ...
Добавлено: 13 сентября 2026 г.
Лебедев О. Б., Beskhmelnov M. I., Pattern Recognition and Image Analysis 2024 Vol. 34 No. 3 P. 543–548
В работе описан гибридный алгоритм динамического формирования траектории движения робота в недетерминированных средах с обходом стационарных и нестационарных препятствий в двумерном пространстве, основанный на интеграции волнового и муравьиного алгоритмов, что позволяет строить траектории минимальной длины в реальном времени с одновременной оптимизацией ряда критериев качества построенного пути. Ограничения, препятствующие построению траектории из текущей позиции, выявляются в ...
Добавлено: 10 сентября 2026 г.
Лебедев О. Б., Лебедев Б. К., Известия ЮФУ. Технические науки 2026 № 2(250) С. 151–173
Предложены методика и метод построения модели исследуемой территории в виде конечной совокупности покрывающих ее зон (участков), отличающиеся тем, что все участки имеют форму прямоугольников. В работе рассматривается методы формирования на поле большой площади минимального набора участков, полностью покрывающих доступную территорию, исследуемую датчиками беспилотных летательных аппаратов. Размеры, ориентация и взаимное расположение участков направлены на минимизацию времени ...
Добавлено: 10 сентября 2026 г.
Анненков А. Н., Нестеров Р. А., Моделирование и анализ информационных систем 2026 Т. 33 № 2 С. 176–205
Декларативные модели процессов широко используются в process mining для гибкого описания поведения
процессов с помощью наборов ограничений. Однако модели, автоматически извлекаемые из журналов событий, могут содержать несогласованные ограничения, что затрудняет их интерпретацию и делает их непригодными для исполнения, проверки соответствия или дальнейшего анализа. Существующие методы анализа согласованности либо опираются на автоматные конструкции с высокой асимптотической сложностью ...
Добавлено: 18 июня 2026 г.
Song J., Bai Y., Svinin M. и др., Artificial Life and Robotics 2026 Vol. 31 No. 2 P. 365–377
Добавлено: 17 марта 2026 г.