?
Transition Systems Reduction: Balancing Between Precision and Simplicity
P. 119-139.
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 the ability to achieve a required balance between simple and precise models.
Publication based on the results of:
In book
Vol. 10470: Transactions on Petri Nets and Other Models of Concurrency XII. , Berlin, Heidelberg : Springer, 2017
Sergey A. Shershakov, Anna A. Kalenkova, Lomazova I. A., , in : International Workshop on Algorithms and Theories for the Analysis of Event Data, ATAED 2016; Torun; Poland; 20-21 June 2016. Vol. 1592.: Torun : CEUR Workshop Proceedings, 2016. 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 ...
Added: June 30, 2016
Shunin T., Zubkova N., Sergey Shershakov, , in : Analysis of Images, Social Networks and Texts. 7th International Conference AIST 2018. : Springer, 2018. P. 261-273.
Process mining deals with various types of formal models. Some of them are used at intermediate stages of synthesis and analysis, whereas others are the desired goals themselves. Transition systems (TS) are widely used in both scenarios. Process discovery, which is a special case of the synthesis problem, tries to find patterns in event logs. ...
Added: June 21, 2018
Kalenkova A. A., Lomazova I. A., van der Aalst W., , in : Application and Theory of Petri Nets and Concurrency. 35th International Conference, PETRI NETS 2014, Tunis, Tunisia, June 23-27, 2014, Proceedings. Vol. 8489: Lecture Notes in Computer Science.: Berlin : Springer, 2014. P. 71-90.
Process mining aims to discover and analyze processes by extracting information from event logs. Process mining discovery algorithms deal with large data sets to learn automatically process models. As more event data become available there is the desire to learn larger and more complex process models. To tackle problems related to the readability of the ...
Added: July 3, 2014
Kalenkova A. A., Lomazova I. A., Fundamenta Informaticae 2014 Vol. 133 No. 2-3 P. 197-209
Process mining is a relatively new field of computer science which deals with process discovery and analysis based on event logs. In this work we consider the problem of discovering workflow nets with cancellation regions from event logs. Cancellations occur in the majority of real-life event logs. In spite of huge amount of process mining ...
Added: September 30, 2014
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
Westergaard M., Fahland D., Stahl C., Transactions on Petri Nets and Other Models of Concurrency 2013 Vol. 8 P. 180-202
Grading dozens of Petri net models manually is a tedious and error-prone task. In this paper, we present Grade/CPN, a tool supporting the grading of Colored Petri nets modeled in CPN Tools. The tool is extensible, configurable, and can check static and dynamic properties. It automatically handles tedious tasks like checking that good modeling practise ...
Added: October 14, 2013
Shershakov S. A., Rubin V. A., Modeling and Analysis of Information Systems 2015 Vol. 22 No. 6 P. 818-833
Information systems (IS) produce numerous traces and logs at runtime. In context of SOA-based (service-oriented architecture) IS, these logs contain details about sequences of process and service calls. Modern application monitoring and error tracking tools provide only rather straightforward log search and filtering functionality. However, ``clever'' analysis of the logs is highly useful, since it ...
Added: December 22, 2015
M. : HSE, 2013
Human reasoning uses to distinguish things that do change and things do not. The latter are commonly expressed in the reasoning as objects, which may represent classes or instances, and classes being further divided into concept types and relation types. These became the main issue of knowledge engineering and have been well tractable by computer. ...
Added: October 27, 2013
Nikitina V., Panfilov Peter, , in : Digitalization of Society, Economics and Management: A Digital Strategy Based on Post-pandemic Developments. Issue 53.: Springer, 2022. Ch. 13. P. 173-185.
Added: April 22, 2022
Mitsyuk A. A., Shugurov I., Моделирование и анализ информационных систем 2014 Т. 21 № 4 С. 181-198
Process mining is a new emerging discipline related to process management, formal process models, and data mining. One of the main tasks of process mining is the model synthesis (discovery) based on the event logs. A wide range of algorithms for process model discovery, analysis, and enhancement are developed. The real-life event logs often contain ...
Added: October 20, 2014
Alexey Mitsyuk, Anna Kalenkova, Sergey A. Shershakov et al., Business Informatics 2014 Vol. 29 No. 3 P. 15-27
E-trade systems are widely used to automate sales processes. Inefficiencies and bottlenecks in the sales processes lead to business losses. Conventional approaches to identifying problems require much time and result in subjective conclusions. This paper proposes an approach for the analysis of e-trade system processes based on the application of process mining techniques. Process mining ...
Added: August 29, 2014
-, 2016
The issue contains papers accepted for presentation at the 10th Spring/Summer Young Researchers’ Colloquium on Software Engineering (SYRCoSE 2016) held in Krasnovidovo, Mozhaysky District, Moscow Oblast, Russia on May 30-June 1, 2016. The paper selection was based on originality and contributions to the field. Each paper was peer-reviewed by at least three referees.
The colloquium’s topics ...
Added: June 5, 2016
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
Sergey Andreevich Shershakov, International Journal of Computer and Communication Engineering 2015 Vol. 4 No. 3 P. 166-179
Process mining is a research area dealing with, inter alia, the construction of models of various types from event logs. Fuzzy maps are an example of such models produced by different process mining tools, such as ProM and Disco. We proposed a new approach to mining fuzzy models which is based on logs representation in ...
Added: October 20, 2014
Kalenkova A. A., Lomazova I. A., , in : Proceedings of the International Workshop CS&P'2013. Vol. 1032.: Bialystok : Bialystok University of Technology, 2013. P. 232-244.
Process mining is a relatively new field of computer science which deals with process discovery and analysis based on event logs. In this work we consider the problem of discovering workflow nets with cancellation regions from event logs. Cancellations occur in the majority of real-life event logs. In spite of huge amount of process mining ...
Added: September 30, 2013
M. : -, 2016
Proceedings of ISP RAS are a double-blind peer-reviewed journal publishing scientific articles in the areas of system programming, software engineering, and computer science. The journal's goal is to develop a respected network of knowledge in the mentioned above areas by publishing high quality articles on open access. The journal is intended for researchers, students, and ...
Added: September 14, 2016
Ivanov S. Y., Kalenkova A. A., van der Aalst W., , in : Proceedings of the BPM Demo Session 2015. Co-located with the 13th International Conference on Business Process Management (BPM 2015). Vol. 1418.: Innsbruck : CEUR-WS.org, 2015. Ch. 8. P. 35-39.
Automatic comparison of business processes plays an important role
in their analysis and optimization. In this paper we present the web-based tool
BPMNDiffViz, that finds business processes discrepancies and visualizes them.
BPMN (Business Process Model and Notation) 2.0 - one of the most commonly
used notations for process modeling was chosen as a representation. This tool
implements a structural graph-based ...
Added: August 12, 2015
Kazan : -, 2013
The issue contains the papers presented at the 7th Spring/Summer Young Researchers' Соllоquium оn Software Engineering (SYRCoSE 2013) held in Kazan, Russia on 30th and З1st оf Мay, 2013. Paper selection was based on a competitive peer review process being done by the program committee. Both regular and reseаrсh-in-рrogrеss papers were соnsidered ассeрtable for the ...
Added: June 8, 2013
Rubin V., Mitsyuk A. A., Lomazova I. A. et al., , in : Proceedings of the 8th ACM/IEEE International Symposium on Empirical Software Engineering and Measurement. : NY : ACM, 2014. Ch. 57. P. 1-8.
Modern information systems produce tremendous amounts of event data. The area of process mining deals with extracting knowledge from this data. Real-life processes can be eectively discovered, analyzed and optimized with the help of mature process mining techniques. There is a variety of process mining case studies and experience reports from such business areas as healthcare, public, transportation and education. Although ...
Added: August 29, 2014
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
Skobtsov A., Kalenkova A. A., , in : 2019 IEEE 23rd International Enterprise Distributed Object Computing Workshop (EDOCW). : IEEE, 2019. P. 85-91.
Goal modeling is widely used to align stakeholders requirements with architectural models. In contrast to goal models which are usually defined by stakeholders, architectural models are not always defined explicitly, or systems may not be used as they were designed. To understand the real behavior of a system, process mining techniques can be applied. These ...
Added: October 13, 2019
Ivanov S. Y., Kalenkova A. A., , in : Preliminary Proceedings of the 9th Spring/Summer Young Researchers' Colloquium on Software Engineering (SYRCoSE 2015). : M. : [б.и.], 2015. P. 144-148.
Comparing business process models is one of the most significant challenges for business and systems analysts. The complexity of the problem is explained by the fact there is a lack of tools that can be used for comparing business process models. Also there is no universally accepted standard for modeling them. EPC, YAWL, BPEL, XPDL ...
Added: June 11, 2015
Mitsyuk A. A., Lomazova I. A., van der Aalst W., Automatic Control and Computer Sciences 2017 Vol. 51 No. 7 P. 709-723
Added: December 1, 2017
I. S. Shugurov, A. A. Mitsyuk, , in : Preliminary Proceedings of the 9th Spring/Summer Young Researchers' Colloquium on Software Engineering (SYRCoSE 2015). : M. : [б.и.], 2015. P. 137-143.
This paper is dedicated to a tool which is aimed to facilitate process mining experiments and evaluation of the repair algorithms. Process mining is a set of approaches which provides solutions and algorithms for discovery and analysis of business process models based on event logs. Process mining has three main areas of interest: model discovery, ...
Added: June 11, 2015