• A
  • A
  • A
  • ABC
  • ABC
  • ABC
  • А
  • А
  • А
  • А
  • А
Regular version of the site
  • HSE University
  • Research projects
  • New methods for solving problems of process mining and process analysis and their application to the design of information systems

New methods for solving problems of process mining and process analysis and their application to the design of information systems

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

Publications:


Bernardinello L., Lomazova I. A., Nesterov R., Pomello L. Property-Preserving Transformations of Elementary Net Systems Based on Morphisms, in: Proceedings of the International Workshop on Petri Nets and Software Engineering co-located with 41st International Conference on Application and Theory of Petri Nets and Concurrency (PETRI NETS 2020) Vol. 2651: CEUR Workshop Proceedings. CEUR-WS.org, 2020. P. 49-67.
Шершаков С. А. “VTMine for Visio”: инструмент графического моделирования в области Process Mining // Моделирование и анализ информационных систем. 2020. Т. 27. № 2. С. 194-217. doi
Захаров В. А. Эффективные алгоритмы проверки эквивалентности для некоторых классов автоматов // Моделирование и анализ информационных систем. 2020. Т. 27. № 3. С. 260-303. doi
Carrasquel Gamez J. C., Lomazova I. A., Rivkin A. Modeling Trading Systems using Petri Net Extensions, in: Proceedings of the International Workshop on Petri Nets and Software Engineering co-located with 41st International Conference on Application and Theory of Petri Nets and Concurrency (PETRI NETS 2020) Vol. 2651: CEUR Workshop Proceedings. CEUR-WS.org, 2020. P. 118-137.
Yaroslav V. Kotylev, Mitsyuk A. A. Software System Behavior Can Be Analyzed with Visual Analytics, in: Proceedings of the MACSPro Workshop 2020. CEUR Workshop Proceedings, 2020.
Carrasquel Gamez J. C., Chuburov S. A., Lomazova I. A. Pre-Processing Network Messages of Trading Systems into Event Logs for Process Mining, in: Proceedings of the International Conference on Software Testing, Machine Learning and Complex Process Analysis (TMPA-2019). Springer, 2020.
Gnatenko A., Zakharov V. Using an extension of CTL* for specification and verification of sequential reactive systems // Системная информатика. 2020. Vol. 17. P. 21-32.
Shershakov Sergey, Rigin A. Data and Reference Semantic-Based Simulator of DB-nets with the Use of Renew Tool, in: Analysis of Image, Social Networks and Texts. 9th International Conference, AIST 2020, Lecture Notes in Computer Science, Revised Selected Papers. Springer, 2020.
Carrasquel Gamez J. C., Mecheraoui K., Lomazova I. A. Checking Conformance between Colored Petri Nets and Event Logs, in: Analysis of Image, Social Networks and Texts. 9th International Conference, AIST 2020, Lecture Notes in Computer Science, Revised Selected Papers. Springer, 2020.