• A
  • A
  • A
  • ABC
  • ABC
  • ABC
  • А
  • А
  • А
  • А
  • А
Regular version of the site
  • HSE University
  • Research projects
  • Synthesis, recovery, conformance checking, and other methods for the analysis of process models and distributed information systems

Synthesis, recovery, conformance checking, and other methods for the analysis of process models and distributed information systems

Priority areas of development: IT and mathematics
2019
The project has been carried out as part of the HSE Program of Fundamental Studies.

Publications:


N. S. Zubkova, S. A. Shershakov. Method for Building UML Activity Diagrams from Event Logs // Proceedings of the Institute for System Programming of the RAS. 2019. Vol. 31. No. 4. P. 139-150. doi
Kirill Artamonov, Irina Lomazova. Discovering Unchanged Process Model Fragments via Conformance Based on Event Relations, in: Analysis of Images, Social Networks and Texts. 8th International Conference, AIST 2019, Kazan, Russia, July 17–19, 2019, Revised Selected Papers. Communications in Computer and Information Science Vol. 1086. Springer, 2019.
Carrasquel Gamez J. C., Lomazova I. A., Itkin I. L. Towards a Formal Modelling of Order-driven Trading Systems using Petri Nets: A Multi-Agent Approach, in: Proceedings of the MACSPro Workshop 2019 / Ed. by Irina Lomazova, Anna Kalenkova, Р. Яворский. Vol. 2478: CEUR Workshop Proceedings. CEUR-WS.org, 2019. P. 92-103.
Roman A. Nesterov, Irina A. Lomazova. Asynchronous Interaction Patterns for Mining Multi-Agent System Models from Event Logs, in: Proceedings of the MACSPro Workshop 2019 / Ed. by Irina Lomazova, Anna Kalenkova, Р. Яворский. Vol. 2478: CEUR Workshop Proceedings. CEUR-WS.org, 2019. P. 62-73.
Julio C. Carrasquel, Lomazova I. A. Modelling and Validation of Trading and Multi-Agent Systems: An Approach Based on Process Mining and Petri Nets, in: ICPM Doctoral Consortium 2019. Vol. 2432: CEUR Workshop Proceedings. CEUR-WS.org, 2019. Ch. 4. P. 1-12.
Kirill Artamonov, Irina Lomazova. What Has Remained Unchanged in Your Business Process Model?, in: 21st IEEE Conference on Business Informatics (CBI). IEEE Computer Society, 2019. P. 551-558. doi
Pavel Pertsukhov, Mitsyuk A. A. Simulating Petri Nets with Inhibitor and Reset Arcs // Proceedings of the Institute for System Programming of the RAS. 2019. Vol. 31. No. 4. P. 151-162. doi
K.G. Serebrennikov. Computing Transition Priorities for Live Petri Nets // Proceedings of the Institute for System Programming of the RAS. 2019. Vol. 31. No. 4. P. 163-174. doi
Sergey A. Shershakov. Multi-Perspective Process Mining with Embedding Configurations into DB-based Event Logs, in: Proceedings of the International Conference on Software Testing, Machine Learning and Complex Process Analysis (TMPA-2019). Springer, 2019.
Alexandra Kolosova, Irina Lomazova. Detection of Anomalies in the Criminal Proceedings Based on the Analysis of Event Logs, in: Analysis of Images, Social Networks and Texts. 8th International Conference AIST 2019. Springer, 2019.
Zakharov V., Gnatenko A. R. On the Expressive Power of Some Extensions of Linear Temporal Logic / Пер. с рус. // Automatic Control and Computer Sciences, USA. 2019. Vol. 53. No. 7
Zakharov V., Abbas M. M. Even Simple Processes of Pi-calculus are Hard for Analysis / Пер. с рус. // Automatic Control and Computer Sciences, USA. 2019. Vol. 53. No. 7
Захаров В. А., Винарский Е. М. О задаче верификации для одного класса автоматов реального времени // В кн.: Материалы XIII Международного семинара "Дискретная математика и ее приложения" имени академика О.Б. Лупанова (Москва, МГУ, 17-22 июня 2019) / Под общ. ред.: О. М. Касим-Заде. М. : Изд-во механико-математического факультета МГУ, 2019.
Захаров В. А., Жайлауова Ш. Р. О проблеме эквивалентности недетерминированных автоматов-преобразователей над однобуквенным выходным алфавитом // В кн.: Материалы XIII Международного семинара "Дискретная математика и ее приложения" имени академика О.Б. Лупанова (Москва, МГУ, 17-22 июня 2019) / Под общ. ред.: О. М. Касим-Заде. М. : Изд-во механико-математического факультета МГУ, 2019.
Гнатенко А. Р., Захаров В. А. Верификация моделей реагирующих систем относительно одного расширения темпоральной логики CTL* // В кн.: Материалы XIII Международного семинара "Дискретная математика и ее приложения" имени академика О.Б. Лупанова (Москва, МГУ, 17-22 июня 2019) / Под общ. ред.: О. М. Касим-Заде. М. : Изд-во механико-математического факультета МГУ, 2019.
Каленкова А. А., Колесников Д. А. Применение генетического алгоритма для нахождения редакционного расстояния между моделями процессов // Моделирование и анализ информационных систем. 2018. Т. 25. № 6. С. 711-725. doi
Kalenkova A. A., Burattin A., de Leoni M., van der Aalst W., Sperduti A. Discovering high-level BPMN process models from event data // Business Process Management Journal. 2019. Vol. 25. No. 5. P. 995-1019. doi
Semyon E. Tikhonov, Mitsyuk A. A. A Method to Improve Workflow Net Decomposition for Process Model Repair, in: Analysis of Images, Social Networks and Texts. 8th International Conference AIST 2019. Springer, 2019.
Skobtsov A., Kalenkova A. A. Using Heuristic Algorithms for Fast Alignment between Business Processes and Goals, in: 23rd IEEE International EDOC Conference Proceedings. IEEE, 2019.
Skobtsov A., Kalenkova A. A. Efficient Comparison of Process Models using Tabu Search Algorithm, in: Proceedings of the MACSPro Workshop 2019 / Ed. by Irina Lomazova, Anna Kalenkova, Р. Яворский. Vol. 2478: CEUR Workshop Proceedings. CEUR-WS.org, 2019.
Polyvyanyy A., Kalenkova A. A. Monotone Conformance Checking for Partially Matching Designed and Observed Processes, in: 2019 International Conference on Process Mining (ICPM). IEEE, 2019. P. 81-88.
A.M. Rigin, S.A. Shershakov. SQLite RDBMS Extension for Data Indexing Using B-tree Modifications // Proceedings of the Institute for System Programming of the RAS. 2019. Vol. 31. No. 3. P. 203-216. doi