?
Transition Systems Reduction: Balancing between Precision and Simplicity
P. 78–95.
Transition systems are a powerful formalism, which is widely used for process model representation. A number of approaches were proposed in the process mining field to tackle the problem of constructing transition systems from event logs. Existing approaches discover transition systems that are either too large or too small. In this paper we propose an original approach to discover transition systems that perfectly fit event logs and whose size is adjustable depending on the user’s need. The proposed approach allows achieving a required balance between simple and precise models.
Publication based on the results of:
In book
Vol. 1592. , Torun: CEUR Workshop Proceedings, 2016.
Suvorov N. M., Lomazova I. A., Proceedings of the Institute for System Programming of the RAS 2025 Vol. 37 No. 4 P. 69–84
To represent a model that includes both data and resource perspectives, Data Petri nets could be used. In this formalism, each transition has a constraint that includes input and output conditions on variables. To stay within decidability, the conditions should not contain arithmetic operations, so the resources are usually represented as separate places. Existing correctness ...
Added: September 17, 2025
Derezovskiy I., Shaimov N., Lomazova I. A. et al., Proceedings of the Institute for System Programming of the RAS 2024 Vol. 36 No. 4 P. 155–168
This paper proposes a method to visualize models of acyclic processes based on merging DirectlyFollows Graphs (DFG) and Sankey diagrams. DFG is a popular graphical model to visualize discrete process models, while Sankey diagrams are used to represent flows of any kind. Our approach, based on flow diagrams, allows us to highlight individual cases or ...
Added: October 3, 2024
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
Lyadova L. N., Платунов А. И., Информатизация и связь 2024 № 1 С. 84–89
Summary. The goal of the project is developing tools for generating and preprocessing event logs for process analysis using Process Mining methods. The implementation approach is based on low-code principles. Users should be able to develop their own rules for generating and processing event logs, including additional attributes, – event series. It is based on ...
Added: January 19, 2024
Switzerland: Springer, 2024.
This book constitutes revised papers from the International Workshops held at the 21st International Conference on Business Process Management, BPM 2023, in Utrecht, The Netherlands, during September 2023.
Papers from the following workshops are included:
• 7th International Workshop on Artificial Intelligence for Business Process Management (AI4BPM 2023)
• 7th International Workshop on Business Processes Meet Internet-of-Things (BP-Meet-IoT ...
Added: January 17, 2024
Платунов А. И., Lyadova L. N., В кн.: ТЕХНОЛОГИИ РАЗРАБОТКИ ИНСТРУМЕНТАЛЬНЫХ СРЕДСТВ (ТРИС-2023): материалы конференции.: Таганрог: Издательство ЮФУ, 2023. С. 113–122.
The goal of the project is to develop tools for generating and processing event logs including additional attributes for analyzing processes with Process Mining tools. Implementation are based on low-code principles. This enables non-programmers to develop their own data processing rules for generating and preprocessing event logs with additional attributes. The core of the system ...
Added: December 16, 2023
Anton Platunov, Lyudmila Lyadova, Matta N. et al., , in: IC3K 2023: Proceedings of the 15th International Joint Conference on Knowledge Discovery, Knowledge Engineering and Knowledge Management. Volume 2: KEOD, Rome - Italy, November 13 - 15, 2023Vol. 2: KEOD.: Lisbon: SciTePress, 2023. P. 323–330.
Existing process mining methods allow to investigate processes in different domains. Besides mandatory event attributes like as identifier, activity, and timestamp, additional event attributes can be present in data sources. The analysing dynamics of changing the values of additional attributes allows to get important information on the system. The applications must be developed by programmers ...
Added: November 22, 2023
L.А. Rezunik, A.I. Perevoznikova, D.V. Eremina et al., Proceedings of the Institute for System Programming of the RAS 2023 Vol. 35 No. 3 P. 171–186
Enterprises often provide their services via a family of applications based on various platforms.
Applications in such a family can behave differently. Their development processes can differ as well. Moreover, modern development processes are often complex and sometimes vague. This can lead to bugs, defects, and unwanted discrepancies in applications. In this paper, we show that ...
Added: October 30, 2023
Zayakin Viktor, Lyadova Lyudmila, Smirnov M. et al., , in: 2022 IEEE 16th International Conference on Application of Information and Communication Technologies (AICT).: Washington: IEEE, 2022. P. 1–6.
The article presents an approach to the analyzing processes in different domains using data from various Internet sources (open databases, news feeds, social networks, etc.). This one is suitable to carry out cross-disciplinary research encompassing processes in various fields (for example, economics, medicine, politics, ecology, etc.) in which events can have mutual affects. The concept ...
Added: October 29, 2022
Shaimov N., Lomazova I. A., Mitsyuk A. A. et al., Моделирование и анализ информационных систем 2022 Т. 29 № 4 С. 286–314
Modern educational process involves the use of electronic educational environments. These are special information systems that are both a means for storing educational materials and a tool for conducting tests, collecting homework, keeping a grade book, and working together. Such environments produce a large amount of data containing the recorded behavior of students and teachers ...
Added: October 14, 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
Nikitina V., Panfilov Peter, , in: Digitalization of Society, Economics and Management: A Digital Strategy Based on Post-pandemic DevelopmentsIssue 53.: Springer, 2022. Ch. 13 P. 173–185.
Added: April 22, 2022
Vinarskii E., Zakharov V., Automatic Control and Computer Sciences 2021 Vol. 55 No. 7 P. 751–762
Sequential reactive systems include hardware devices and software programs which operate
in continuous interaction with the external environment, from which they receive streams of input signals
(data, commands) and in response to them form streams of output signals. Systems of this type
include controllers, network switches, program interpreters, system drivers. The behavior of some
reactive systems is determined not ...
Added: January 17, 2022
Usanin A., Zimin I., Elena Zamyatina, , in: Analysis of Images, Social Networks and Texts: 9th International Conference, AIST 2020, Skolkovo, Moscow, Russia, October 15–16, 2020, Revised Selected PapersVol. 12602.: Springer, 2021. P. 303–315.
The paper presents simulation tools for investigation not only the structural characteristics of social networks in order to study information dissem-ination strategies, but also the dynamic characteristics of this process. A feature of this software system is not only the ability to work with virtual social networks, but also with data from real networks. To ...
Added: October 30, 2021
Viacheslav Lanin, Lyudmila Lyadova, Elena Zamyatina et al., , in: Proceedings of the 13th International Joint Conference on Knowledge Discovery, Knowledge Engineering and Knowledge ManagementVol. 2: KEOD.: Lisbon: SciTePress, 2021. P. 234–239.
Added: October 2, 2021
Shershakov S. A., Automatic Control and Computer Sciences (Springer) 2021 Vol. 55 No. 7 P. 847–865
Process-Aware Information Systems (PAIS) is a special class of the IS intended for the support the tasks of initialization, end-to-end management and completion of business processes. During the operation such systems accumulate a large number of data that are recorded in the form of the event logs. Event logs are a valuable source of knowledge ...
Added: September 8, 2021
Воронова А. П., Zakhodiakin G., Логистика и управление цепями поставок 2020 № 6(101) С. 26–36
Currently businesses are constantly adapting their business processes to the ever-changing market conditions. This involves a continuous monitoring and improvement of business processes. Process Mining is a useful approach to automated reconstruction of business process models from event logs collected from company’s information systems, as well as to detecting deviations from the assumed process model ...
Added: March 16, 2021
Курганов В. М., Dorofeev A., Грязнов М. В. et al., , in: International Scientific Siberian Transport Forum - TransSiberia 2020Vol. 54.: Elsevier, 2021. P. 300–308.
The introduction of digital solutions in the automotive industry is often accompanied by a significant gap between the expectations and needs of the leaders of transport and logistics companies and the real business results achieved through the Transportation Management System. The causes of this phenomenon largely depend on the human factor, i.e. irrational actions of ...
Added: March 3, 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
Dorofeev A., Пашкова Т., Курганов В. et al., , in: XIV International Conference on Organization and Traffic Safety Management in Large Cities (OTS-2020)Vol. 50.: Elsevier, 2020. P. 96–105.
The unexpected, rapid spread of the COVID-19 coronavirus around the globe has almost completely paralyzed multiple industries in most nations. At the same time, even during lockdowns, many countries did practically no attempt to restrict road traffic, fearing that this would freeze the shipping of vital goods, primarily food. As a result, shipping by road ...
Added: December 31, 2020