?
NPNtool: Modelling and Analysis Toolset for Nested Petri Nets
P. 9–14.
Дворянский Л. В., Фрумин Д. И.
Вложенные сети Петри это формализм для моделирования мультиагентных распределенных систем со сложной динамической структурой. Несмотря на ряд полезных свойств вложенных сетей Петри для моделирования упомянутых систем, отсутствие инструментальной поддержки сдерживает развитие и применение формализма. В данной работе представлен инструмент NPNtool для редактирования вложенных сетей Петри и композициональной проверки живости. Предложен алгоритм для проверки m-бисимулярности, необходимый для композициональной проверки живости. Представлены экспериментальные результаты использования инструмента на классическом примере обедающих философов.
Ключевые слова: композициональностьмультиагентные системыnested Petri netsвложенные сети Петриcompositionalitymulti-agent systemslivenessживость
ПУБЛИКАЦИЯ ПОДГОТОВЛЕНА ПО РЕЗУЛЬТАТАМ ПРОЕКТА:
Song J., Bai Y., Svinin M. и др., Artificial Life and Robotics 2026 P. 1–13
Добавлено: 17 марта 2026 г.
Optimal Control for Stochastic Multi-agent Systems With the Use of Parallel Hybrid Genetic Algorithm
Akopov A. S., Бекларян А. Л., , in: Numerical Computations: Theory and Algorithms. 4th International Conference, NUMTA 2023, Pizzo Calabro, Italy, June 14–20, 2023, Revised Selected Papers, Part IVol. 14476.: Springer Publishing Company, 2025. P. 273–280.
Добавлено: 23 ноября 2025 г.
Solovev G. V., Zhidkovskaya A. B., Orlova A. и др., , in: Findings of the Association for Computational Linguistics: EMNLP 2025.: Association for Computational Linguistics, 2025. Ch. 367 P. 6956–6998.
Добавлено: 16 ноября 2025 г.
Dalian: IEEE, 2025.
Добавлено: 3 ноября 2025 г.
L. Rezunik, M.A. Prozorskiy, D.V. Alexandrov, Proceedings of the Institute for System Programming of the RAS 2025 Vol. 37 No. 4-2 P. 219–234
Стремительное развитие технологий искусственного интеллекта, в частности больших языковых моделей (LLM), вызвало интерес к их интеграции в мультиагентные системы (МАС). Это открывает широкие перспективы в том числе для приложений умного дома, где они могут значительно улучшить пользовательский опыт за счет комфорта, энергоэффективности и безопасности. Несмотря на потенциальные преимущества, реализация МАС на основе LLM сталкивается с ...
Добавлено: 27 сентября 2025 г.
Leonidov A., Васильев С. Б., Vasilyeva E., Chaos, Solitons and Fractals 2025 Vol. 201 No. 2 Article 117242
Добавлено: 26 сентября 2025 г.
Е. Zemlyanoy, R. Nesterov, Proceedings of the Institute for System Programming of the RAS 2025 Vol. 37 No. 4-2 P. 47–68
Добавлено: 21 сентября 2025 г.
A. A. Sherstyugina, R. A. Nesterov, Proceedings of the Institute for System Programming of the RAS 2023 Vol. 35 No. 3 P. 11–32
Добавлено: 31 октября 2023 г.
Баулина П. В., Шаги/Steps 2023 Т. 9 № 3 С. 258–276
В статье рассматривается феномен (медиа)при- сутствия как способ проекционного воплощения объектов в теа- тре. На материале западноевропейских постановок 2000–2010-х годов описаны техники использования в спектаклях проекцион- ных поверхностей и устройств. Исследование представляет со- бой попытку критического описания и каталогизации режимов присутствия с помощью проекционных образов. Теоретико-мето- дологическая рамка, применяемая в статье, включает комплекс идей на ...
Добавлено: 13 октября 2023 г.
Представлен новый генетический алгоритм (FCGA-AM) с вещественным кодированием, использующий предложенный оператор адаптивной мутации (AM) и предназначенный для оптимизации характеристик разработанной интеллектуальной транспортной системы. С использованием различных тестовых функций и известных метрик качества фронтов Парето выполнена оценка эффективности предложенного генетического алгоритма в сравнении с другими методами многокритериальной эвристической оптимизации. Далее FCGA-AM был применен для поиска наилучших ...
Добавлено: 4 июня 2023 г.
Драгалина-Черная Е. Г., Логические исследования 2022 Т. 28 № 1 С. 27–49
Статья посвящена регрессу обоснования, описанному Кэрроллом в эссе «Что Черепаха сказала Ахиллу». Дискуссии о регрессе обоснования, начавшиеся задолго до его описания Кэрроллом и уходящие корнями в проблематику топического обоснования в античной и средневековой логике, продолжаются до сих пор. Большинство исследователей согласно, однако, с тем, что ключевой причиной бесконечного регресса является превращение правила вывода в дополнительную ...
Добавлено: 29 мая 2022 г.
Нестеров Р. А., Bernardinello L., Ломазова И. А. и др., Software and Systems Modeling 2023 Vol. 22 P. 351–375
Добавлено: 5 мая 2022 г.
Andranik S. Akopov, Beklaryan L., Armen L. Beklaryan, Cybernetics and Information Technologies 2021 Vol. 21 No. 3 P. 127–144
Добавлено: 28 сентября 2021 г.
Mecheraoui K., Карраскель Г. Х., Ломазова И. А., , in: Proceedings of the Conference on Modeling and Analysis of Complex Systems and Processes 2020 (MACSPro 2020)Vol. 2795.: CEUR Workshop Proceedings, 2020. P. 34–45.
Добавлено: 14 января 2021 г.
CEUR Workshop Proceedings, 2020.
Добавлено: 21 октября 2020 г.