• A
  • A
  • A
  • АБB
  • АБB
  • АБB
  • А
  • А
  • А
  • А
  • А
Обычная версия сайта
Версия для слабовидящихЛичный кабинет сотрудника ВШЭПоискМеню

Модели процессов: проверка соответствия наблюдаемому поведению, автоматический синтез и анализ поведенческих свойств

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

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


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
Mitsyuk A. A., Jamgaryan N. What Software Architecture Styles are Popular? // Труды Института системного программирования РАН. 2021. Vol. 33. No. 3. P. 7-26. doi
R.A. Nesterov, S.Yu. Savelyev Generation of Petri Nets Using Structural Property-Preserving Transformations // Труды Института системного программирования РАН. 2021. Vol. 33. No. 3. P. 155-170. doi
Rigin A., Shershakov S. A. Method of Performance Analysis of Time-Critical Applications Using DB-Nets // Труды Института системного программирования РАН. 2021. Vol. 33. No. 3. P. 109-122. doi
S. A. Shershakov “VTMine for Visio”: Graphical Tool for Modeling in Process Mining // Автоматика и вычислительная техника. 2021. 
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. 
Rigin A., Sergey S. Data and Reference Semantic-Based Simulator of DB-nets with the Use of Renew Tool, in: Analysis of Images, Social Networks and Texts. 9th International Conference, AIST 2020, Skolkovo, Moscow, Russia, October 15–16, 2020, Revised Selected Papers (LNCS 12602).: Springer Publishing Company, 2021. С. 453-465. 
Sergey A. S. Multi-Perspective Process Mining with Embedding Configurations into DB-based Event Logs, in: Tools and Methods of Program Analysis. 5th International Conference, TMPA 2019, Tbilisi, Georgia, November 7–9, 2019, Revised Selected Papers.: Springer, 2021. С. 68-80.