• A
  • A
  • A
  • АБВ
  • АБВ
  • АБВ
  • А
  • А
  • А
  • А
  • А
Обычная версия сайта

Новые методы решения задач извлечения и анализа процессов и их применение для проектирования информационных систем

Приоритетные направления развития: компьютерно-математическое
2020

Публикации по проекту:


Mecheraoui K., Carrasquel Gamez J. C., Lomazova I. A. Compositional conformance checking of nested petri nets and event logs of multi-agent systems, in: Proceedings of the Conference on Modeling and Analysis of Complex Systems and Processes 2020 (MACSPro 2020) / Ed. by Alexander Shapoval, V. Popov, I. Makarov. Vol. 2795. CEUR Workshop Proceedings, 2020. P. 34-45.
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.
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.
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.
Gnatenko A., Zakharov V. Using an extension of CTL* for specification and verification of sequential reactive systems // Системная информатика. 2020. Vol. 17. P. 21-32.
Yaroslav V. Kotylev, Mitsyuk A. A. Software System Behavior Can Be Analyzed with Visual Analytics, in: Proceedings of the Conference on Modeling and Analysis of Complex Systems and Processes 2020 (MACSPro 2020) / Ed. by Alexander Shapoval, V. Popov, I. Makarov. Vol. 2795. CEUR Workshop Proceedings, 2020. P. 46-56.