?
Transition Systems Reduction: Balancing between Precision and Simplicity
P. 78-95.
ПУБЛИКАЦИЯ ПОДГОТОВЛЕНА ПО РЕЗУЛЬТАТАМ ПРОЕКТА:
В книге
Vol. 1592. , Torun : CEUR Workshop Proceedings, 2016
Sergey A. Shershakov, Anna A. Kalenkova, Irina A. Lomazova, , in : Lecture Notes in Computer Science. Vol. 10470: Transactions on Petri Nets and Other Models of Concurrency XII.: Berlin, Heidelberg : Springer, 2017. P. 119-139.
Добавлено: 27 сентября 2017 г.
Shunin T., Zubkova N., Sergey Shershakov, , in : Analysis of Images, Social Networks and Texts. 7th International Conference AIST 2018. : Springer, 2018. P. 261-273.
Добавлено: 21 июня 2018 г.
Каленкова А. А., Ломазова И. А., ван дер Аалст В., , 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.
Добавлено: 3 июля 2014 г.
Каленкова А. А., Ломазова И. А., Fundamenta Informaticae 2014 Vol. 133 No. 2-3 P. 197-209
Добавлено: 30 сентября 2014 г.
Mecheraoui K., Карраскель Г. Х., Ломазова И. А., , 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.
Добавлено: 14 января 2021 г.
Вестергаард М., Fahland D., Stahl C., Transactions on Petri Nets and Other Models of Concurrency 2013 Vol. 8 P. 180-202
Добавлено: 14 октября 2013 г.
Shershakov S. A., Rubin V. A., Modeling and Analysis of Information Systems 2015 Vol. 22 No. 6 P. 818-833
Добавлено: 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. ...
Добавлено: 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.
Добавлено: 22 апреля 2022 г.
Мицюк А. А., Шугуров И. С., Моделирование и анализ информационных систем 2014 Т. 21 № 4 С. 181-198
Извлечение процессов (process mining) -- новая и активно развивающаяся область исследований, тесно связанная с управлением процессами, формальными моделями процессов и извлечением данных (data mining). Одна из основных задач извлечения процессов -- синтез (извлечение) модели процесса на основании анализа журнала событий. Разработан широкий спектр алгоритмов для извлечения, анализа и усовершенствования моделей процессов. Журналы событий реальных систем ...
Добавлено: 20 октября 2014 г.
Alexey Mitsyuk, Anna Kalenkova, Sergey A. Shershakov и др., 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 ...
Добавлено: 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 ...
Добавлено: 5 июня 2016 г.
Zayakin Viktor, Lyadova Lyudmila, Smirnov M. и др., , in : 2022 IEEE 16th International Conference on Application of Information and Communication Technologies (AICT). : Washington : IEEE, 2022. P. 1-6.
Добавлено: 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 ...
Добавлено: 20 октября 2014 г.
Каленкова А. А., Ломазова И. А., , 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 ...
Добавлено: 30 сентября 2013 г.
M. : -, 2016
Добавлено: 14 сентября 2016 г.
Иванов С. Ю., Каленкова А. А., ван дер Аалст В., , 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.
Добавлено: 12 августа 2015 г.
Kazan : -, 2013
Труды 7-ого весеннего/летнего коллоквиума молодых исследователей в области программной инженерии (SYRCoSE 2013), 30-31 мая 2013 г. - Казань, Россия.
Сборник содержит статьи, представленные на 7-ом весеннем/летнем коллоквиуме молодых исследователей в области программной инжeнерии (SYRCoSE 2013), проводимом в Казани З0 и 31 мая 2013 г. Отбор статей производился на основе рецензирования материалов программным комитетом. На коллоквиум допускались ...
Добавлено: 8 июня 2013 г.
Рубин В. А., Мицюк А. А., Ломазова И. А. и др., , in : Proceedings of the 8th ACM/IEEE International Symposium on Empirical Software Engineering and Measurement. : NY : ACM, 2014. Ch. 57. P. 1-8.
Добавлено: 29 августа 2014 г.
Винарский Е. М., Захаров В. А., Automatic Control and Computer Sciences 2021 Vol. 55 No. 7 P. 751-762
Добавлено: 17 января 2022 г.
Скобцов А. В., Каленкова А. А., , in : 2019 IEEE 23rd International Enterprise Distributed Object Computing Workshop (EDOCW). : IEEE, 2019. P. 85-91.
Добавлено: 13 октября 2019 г.
Иванов С. Ю., Каленкова А. А., , in : Preliminary Proceedings of the 9th Spring/Summer Young Researchers' Colloquium on Software Engineering (SYRCoSE 2015). : M. : [б.и.], 2015. P. 144-148.
Добавлено: 11 июня 2015 г.
Мицюк А. А., Ломазова И. А., ван дер Аалст В., Automatic Control and Computer Sciences 2017 Vol. 51 No. 7 P. 709-723
Добавлено: 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.
Добавлено: 11 июня 2015 г.