?
Compositional Process Model Synthesis based on Interface Patterns
P. 151–162.
Coordination of several distributed system components is an error-prone task, since interaction of several simple components can generate rather sophisticated behavior. Verification of such systems is very difficult or even impossible because of the so-called state space explosion problem, when the size of the system reachability set grows exponentially on the number of interacting agents. To overcome this problem several approaches to construct correct models of interacting agents in a compositional way were proposed in the literature. They define different properties and conditions to ensure correct behavior of interacting agents. Checking these conditions may be in its turn quite a problem. In this paper, we propose patterns for correct composition of component models. For justifying these patterns we use special net morphisms. However, to apply patterns the user does not need to be familiar with the underlying theory.
Publication based on the results of:
In book
Vol. 779: Communications in Computer and Information Science. , Springer, 2018.
I.I. Sergeev, I.A. Lomazova, Modeling and Analysis of Information Systems 2026 Vol. 33 No. 3 P. 394–419
Object-centric process mining has emerged as a powerful paradigm for analyzing event data involving multiple interacting business objects. Existing discovery techniques often rely on object-centric Petri nets with fixed arc multiplicities, limiting their ability to represent parametric resource consumption and production patterns and to capture quantitative dependencies between interacting object types. In this paper, we ...
Added: September 24, 2026
Yakovlev S., Oleg S., , in: Parallel Computational Technologies, 19th International Conference, PCT 2025, Moscow, Russia, April 8–10, 2025, Revised Selected Papers. (CCIS, volume 2891)Vol. 2891.: Springer, 2026. P. 80–97.
This paper introduces DSBuild, a high-level framework designed to simplify the development of distributed systems with built-in support for simulation-based testing. The framework enables the implementation and execution of production-ready distributed applications that can be tested in deterministic simulations without code translation. By eliminating the need for code translation, our approach avoids common pitfalls such ...
Added: May 19, 2026
Vishnekov A., Ivanova E., Ладовир А. А. et al., Информационные технологии 2025 Т. 31 № 11 С. 587–595
The paper considers the possibility of applying decision theory methods to solve the problem of load balancing in distributed information systems. A review and analysis of methods for evaluating and comparing multi-criteria alternatives is carried out, their advantages and disadvantages are shown in the context of the problem being solved. The most effective methods have ...
Added: November 11, 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
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
Samoylova K., Zamyatina E., Proceedings of the Institute for System Programming of the RAS 2022 Vol. 34 No. 2 P. 67–76
Nowadays, in order for a company to remain competitive, efficient and attractive to investors it needs to have reliable and threat-resistant business processes. The question of methods for building such business processes remains relevant. This paper proposes a software system, which involves the use of methods and tools of DSM (Domain Specific Modeling), ontological approach, ...
Added: February 13, 2023
Springer, 2022.
This book constitutes selected and revised papers from the 22nd International Conference on Mathematical Modeling and Supercomputer Technologies, MMST 2022, held in Nizhny Novgorod, Russia, in November 2022.
The 20 full papers and 5 short papers presented in the volume were thoroughly reviewed and selected from the 48 submissions. They are organized in topical secions on computational methods ...
Added: December 26, 2022
Oleg Sukhoroslov, Maxim Gorokhovskii, Roman Ilgovskiy et al., , in: Материалы IV Международного семинара по информационным, вычислительным и управляющим системам для распределенных сред (ICCS-DE 2022).: Иркутск: ИДСТУ СО РАН, 2022. P. 79–96.
Resource management is a critical part of modern large-scale distributed systems and an active area of research. The diversity of systems, workloads and requirements have lead to many domain-specific problem statements, solutions and simulation tools proposed by researchers, which are hard to compare and reuse. In this paper, an overview of related resource management problems ...
Added: October 30, 2022
Lomazova I. A., Mitsyuk A. A., Rivkin A., / Series Computer Science "arxiv.org". 2021.
Recently introduced Petri net-based formalisms advocate the importance of proper representation and management of case objects as well as their co-evolution. In this work we build on top of one of such formalisms and introduce the notion of soundness for it. We demonstrate that for nets with non-deterministic synchronization between case objects, the soundness problem ...
Added: October 14, 2022
Springer, 2022.
This book constitutes the refereed proceedings of the 16th International Conference on Parallel Computational Technologies, PCT 2022, held in Dubna, Russia, during March 29–31, 2022.
The 22 full papers included in this book were carefully reviewed and selected from 60 submissions. They were organized in topical sections as follows: high performance architectures, tools and technologies; parallel ...
Added: August 10, 2022
Tyryshkina Y., , in: Международная научнопрактическая конференция «Информационные Инновационные Технологии», 2022.: [б.и.], 2022.
In this paper, we consider the problem of reducing the cost of computer time by developing and implementing a method for accelerating the operation of connecting distributed data arrays according to a given criterion. The following tasks were solved: a study was conducted on the architecture of distributed data storages and parallel computing algorithms; on ...
Added: May 31, 2022
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
Bernardinello L., Irina Lomazova, Nesterov R. et al., , in: Transactions on Petri Nets and Other Models of Concurrency XVIVol. 13220: Lecture Notes in Computer Science.: Springer, 2022. P. 1–23.
Structural transformations that preserve properties of formal models of concurrent systems make their verification easier. We define structural transformations that allow to abstract and refine elementary net systems. Relations between abstract models and their refinements are formalized using morphisms. Transformations proposed in this paper induce morphisms between elementary net systems as well as preserve their ...
Added: March 23, 2022
Springer, 2022.
These Transactions publish archival papers in the broad area of Petri nets and other models of concurrency, ranging from theoretical work to tool support and industrial applications. ToPNoC issues are published as LNCS volumes, and hence are widely distributed and indexed. This Journal has its own Editorial Board which selects papers based on a rigorous ...
Added: March 23, 2022