?
Compositional Discovery of Workflow Nets from Event Logs Using Morphisms
P. 23–38.
This paper presents a modular approach to discover process models for multi-agent systems from event logs. System event logs are filtered according to individual agent behavior. We discover workflow nets for each agent using existing process discovery algorithms. We consider asynchronous interactions among agents. Given a specification of an interaction protocol, we propose a general scheme of workflow net composition. By using morphisms, we prove that this composition preserves soundness of components. A quality evaluation shows the increase in the precision of models discovered by the proposed approach.
Language:
English
Publication based on the results of:
In book
Vol. 2115: CEUR Workshop Proceedings. , CEUR-WS.org, 2018.
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
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
Е. 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. K. Begicheva, I. A. Lomazova, R. A. Nesterov, Modeling and Analysis of Information Systems 2024 Vol. 31 No. 3 P. 294–315
Process mining is a field of computer science that deals with the discovery and analysis of process models based on automatically generated event logs. Currently, many companies are using this technology to optimize and improve their business processes. However, a discovered process model may be too detailed, sophisticated, and difficult for experts to understand. In ...
Added: September 14, 2024
Julio C. Carrasquel, Irina A. Lomazova, , in: 6th International Conference, TMPA 2021, Tomsk, Russia, November 25–27, 2021, Revised Selected Papers. Tools and Methods of Program AnalysisVol. 1559: CCIS .: Springer, 2024. P. 94–106.
Trading systems are software platforms that support the exchange of securities (e.g., company shares) between participants. In this paper, we present a method to search for deviations in trading systems by checking conformance between colored Petri nets and event logs. Colored Petri nets (CPNs) are an extension of Petri nets, a formalism for modeling of ...
Added: January 31, 2024
Lomazova I. A., Mitsyuk A. A., Rivkin A., , in: Business Process Management Workshops. BPM 2023 International Workshops, Utrecht, The Netherlands, September 11–15, 2023, Revised Selected PapersVol. 492.: Switzerland: Springer, 2024. P. 483–495.
Object-centric processes have become increasingly popular in the last years mainly due to the establishment of object-centric process mining. One of the most popular formalisms for describing lifecycles of objects and capturing relationships between them are object-centric Petri nets. An important feature of such nets is the ability to transfer an arbitrary number of same-typed ...
Added: January 17, 2024
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
Bernardinello L., Irina Lomazova, Roman Nesterov et al., Journal of Parallel and Distributed Computing 2023 Vol. 179 Article 104704
In this paper, we propose a compositional approach to constructing correct formal models of information systems from correct models of interacting components. Component behavior is represented using workflow nets — a class of Petri nets. Interactions among components are encoded in an additional interface net. The proposed approach is used to model and compose synchronously and ...
Added: June 8, 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
Arzhantsev I., Indagationes Mathematicae 2023 Vol. 34 No. 4 P. 812–819
We prove that every non-degenerate toric variety, every homogeneous space of a connected linear algebraic group without non-constant invertible regular functions, and every variety covered by affine spaces admit a surjective morphism from an affine space. ...
Added: May 24, 2023