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

Методы синтеза, исправления, проверки соответствия и анализа моделей процессов и распределенных информационных систем

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

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


Zakharov V. Equivalence checking of prefix-free transducers and deterministic two-tape automata // Lecture Notes in Computer Science. 2019. Vol. 11417. P. 146-158. doi
Каленкова А. А., Колесников Д. А. Применение генетического алгоритма для нахождения редакционного расстояния между моделями процессов // Моделирование и анализ информационных систем. 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.
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 International Conference "Modeling and Analysis of Complex Systems and Processes 2019". CEUR-WS.org, 2019.
Carrasquel Gamez J. C., 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, 2019.
Pavel Pertsukhov, Mitsyuk A. A. Simulating Petri Nets with Inhibitor and Reset Arcs // Proceedings of the Institute for System Programming of the RAS. 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 International Conference "Modeling and Analysis of Complex Systems and Processes 2019". 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.
Roman A. Nesterov, Irina A. Lomazova. Asynchronous Interaction Patterns for Mining Multi-Agent System Models from Event Logs, in: Proceedings of the International Conference "Modeling and Analysis of Complex Systems and Processes 2019". CEUR-WS.org, 2019.
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: CEUR Workshop Proceedings Vol. 2432: ICPM Doctoral Consortium 2019. CEUR-WS.org, 2019. Ch. 4. P. 1-12.
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
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