• A
  • A
  • A
  • ABC
  • ABC
  • ABC
  • А
  • А
  • А
  • А
  • А
Regular version of the site
For visually-impairedUser profile (HSE staff only)SearchMenu

Process models: checking conformance with the observed behavior, automated discovery and behavioral analysis

Priority areas of development: IT and mathematics
2021

Publications:


Carrasquel G. J. C., Mecheraoui K. Object-Centric Replay-Based Conformance Checking: Unveiling Desire Lines and Local Deviations // Моделирование и анализ информационных систем. 2021. Vol. 28. No. 2. P. 146-168. doi
Mecheraoui K., Lomazova I. A., Belala N. A Petri net extension for systems of concurrent communicating agents with durable actions // Journal of Parallel and Distributed Computing. 2021. Vol. 155. P. 14-23. doi
Carrasquel G. J. C., Mecheraoui K., Lomazova I. A. Checking Conformance between Colored Petri Nets and Event Logs, in: 9th International Conference, AIST 2020, Skolkovo, Moscow, Russia, October 15–16, 2020, Revised Selected Papers.: Springer, 2021. С. 435-452. 
Carrasquel G. J. C., Chuburov S. A., Lomazova I. A. Pre-Processing Network Messages of Trading Systems into Event Logs for Process Mining, in: Tools and Methods of Program Analysis. 5th International Conference, TMPA 2019, Tbilisi, Georgia, November 7–9, 2019, Revised Selected Papers.: Springer, 2021. С. 88-100.