?
NPNtool: Modelling and Analysis Toolset for Nested Petri Nets
P. 9–14.
Dworzanski L. W., Frumin D. I.
Nested Petri nets is an extension of Petri net formalism with net tokens for modelling multi-agent distributed systems with complex structure. While having a number of interesting properties, NP-nets have been lacking tool support. In this paper we present the NPNtool toolset for NP-nets which can be used to edit NP-nets models and check liveness in a compositional way. An algorithm to check m-bisimiliarity needed for compositional checking of liveness has been developed. Experimental results of the toolset usage for modelling and checking liveness of classical dinning philosophers problem are provided.
Song J., Bai Y., Svinin M. et al., Artificial Life and Robotics 2026 P. 1–13
This study introduces an innovative control approach for deploying multiple unmanned aerial vehicles (UAVs) to monitor an unknown food region. The proposed strategy is designed to optimally distribute UAVs across the food-afected area while cooperatively estimating the extent of inundation. To achieve this, an adaptive coverage controller is developed based on Centroidal Voronoi Tessellation (CVT), incorporating a novel ...
Added: March 17, 2026
Trofimov S., Ymer 2025 Vol. 24 No. 11 P. 1–18
This paper presents the development of a multi-agent system for managing the technical condition of bus fleets in public transport enterprises. The proposed solution aims to enhance management decision-making processes in vehicle maintenance through the implementation of intelligent agents and data analytics. The system is based on the interaction of two types of agents: "Bus," which collects ...
Added: January 24, 2026
Optimal Control for Stochastic Multi-agent Systems With the Use of Parallel Hybrid Genetic Algorithm
Akopov A. S., Beklaryan A., , 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.
In modern times, stochastic large-scale multi-agent systems (MAS) aimed at supporting socio-economic planning are being developed. There is a well known problem of a high computational complexity task of an optimal control for multiple agents’ behaviour in models of random interactions. In particular, agents (such as sellers and buyers) should make individualised decisions on establishing ...
Added: November 23, 2025
Solovev G. V., Zhidkovskaya A. B., Orlova A. et al., , in: Findings of the Association for Computational Linguistics: EMNLP 2025.: Association for Computational Linguistics, 2025. Ch. 367 P. 6956–6998.
Hit identification is a central challenge in early drug discovery, traditionally requiring substantial experimental resources. Recent advances in artificial intelligence, particularly large language models (LLMs), have enabled virtual screening methods that reduce costs and improve efficiency. However, the growing complexity of these tools has limited their accessibility to wet-lab researchers. Multi-agent systems offer a promising ...
Added: November 16, 2025
Dalian: IEEE, 2025.
The increasing complexity of modern software development necessitates intelligent, automated security analysis frameworks that can effectively pay attention of human on high-risk software releases. This paper introduces a Multi Agent System (MAS) framework designed to enhance the security assessment process by leveraging artificial intelligence (AI) and intelligent computing for real-time release analysis. The proposed system ...
Added: November 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
The rapid advancement of AI technologies, particularly Large Language Models (LLMs), has sparked interest in their integration into Multi-Agent Systems (MAS). This holds substantial promise for applications such as smart homes, where it can significantly enhance user experience by optimizing comfort, energy efficiency, and security. Despite the potential benefits, the implementation of MAS based on ...
Added: September 27, 2025
Leonidov A., Vasilyev S., Vasilyeva E., Chaos, Solitons and Fractals 2025 Vol. 201 No. 2 Article 117242
Game-theoretic static equilibria in multiagent two-layered consensus/opinion formation noisy binary choice model are studied. Both layers in the model are complete networks. Each player is present in both layers. Agent’s strategies with respect to the layers are interconnected. General asymmetric, symmetric and antisymmetric expectation/quantal response equilibria are analysed. Phase diagram of the model containing various ...
Added: September 26, 2025
Е. Zemlyanoy, R. Nesterov, Proceedings of the Institute for System Programming of the RAS 2025 Vol. 37 No. 4-2 P. 47–68
The structure of a process model discovered from an event log of a multi-agent system often does not reflect the system architecture with respect to agent interactions. The existing conformance checking quality dimensions mainly evaluate the extent to which the behavior a discovered model corresponds to event sequences recorded in an event log. These behavioral ...
Added: September 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
The structure of a process model directly discovered from an event log of a multi-agent system often does not reflect the behavior of individual agents and their interactions. We suggest analyzing the relations between events in an event log to localize actions executed by different agents and involved in their asynchronous interaction. Then, a process ...
Added: October 31, 2023
Баулина П. В., Шаги/Steps 2023 Т. 9 № 3 С. 258–276
The article examines the phenomenon of (media)pres- ence as a projectional embodiment of objects in theatre. The aim is to describe techniques of using projectional surfaces and devices in performances, using as material Western European productions of the 2000s and 2010s. We attempt to identify and elucidate the modes of presence through the use of ...
Added: October 13, 2023
Akopov A. S., Бекларян Л. А., Beklaryan A., Информационные технологии 2023 Т. 29 № 3 С. 115–125
A novel real-coded genetic algorithm (FCGA-AM) that uses the proposed adaptive mutation (AM) operator is presented. The algorithm is designed to optimise the characteristics of the developed intelligent transportation system. The performance of the proposed genetic algorithm was evaluated in comparison with other methods of multicriteria heuristic optimization with the use of various test instances ...
Added: June 4, 2023
Dragalina-Chernaya E., Логические исследования 2022 Т. 28 № 1 С. 27–49
Статья посвящена регрессу обоснования, описанному Кэрроллом в эссе «Что Черепаха сказала Ахиллу». Дискуссии о регрессе обоснования, начавшиеся задолго до его описания Кэрроллом и уходящие корнями в проблематику топического обоснования в античной и средневековой логике, продолжаются до сих пор. Большинство исследователей согласно, однако, с тем, что ключевой причиной бесконечного регресса является превращение правила вывода в дополнительную ...
Added: May 29, 2022
Nesterov R., Bernardinello L., Lomazova I. A. et al., Software and Systems Modeling 2023 Vol. 22 P. 351–375
A process model discovered from an event log of a multi-agent system often does not fully cover certain viewpoints of its architecture. We consider those concerned with the structure of a model explicitly reflecting agent behavior and interactions. The direct discovery from an event log of a multi-agent system may result in an unclear model ...
Added: May 5, 2022
Andranik S. Akopov, Beklaryan L., Armen L. Beklaryan, Cybernetics and Information Technologies 2021 Vol. 21 No. 3 P. 127–144
This work presents a novel approach to the simulation-based optimisation for Autonomous Transportation Systems (ATS) with the use of the proposed parallel genetic algorithm. The system being developed uses GPUs for the implementation of a massive agent-based model of Autonomous Vehicle (AV) behaviour in an Artificial Multi-Connected Road Network (AMСRN) consisting of the “Manhattan Grid” ...
Added: September 28, 2021
Mecheraoui K., Carrasquel Gamez J. C., Lomazova I. A., , 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.
This paper presents a compositional conformance checking approach between nested Petri nets and event logs of multi-agent systems. By projecting an event log onto model components, one can perform conformance checking between each projected log and the corresponding component. We formally demonstrate the validity of our approach proving that, to check fitness of a nested ...
Added: January 14, 2021
CEUR Workshop Proceedings, 2020.
Summary: There were 22 papers submitted for peer-review to the conference. Out of these, 16 papers were accepted for this volume, 7 as regular papers and 9 as short papers. ...
Added: October 21, 2020