| Checking conformance between colored petri nets and event logs JC Carrasquel, K Mecheraoui, IA Lomazova Analysis of Images, Social Networks and Texts: 9th International Conference …, 2021 | 9 | 2021 |
| Compositional conformance checking of nested Petri Nets and event logs of multi-agent systems K Mecheraoui, JC Carrasquel, IA Lomazova arXiv preprint arXiv:2003.07291, 2020 | 8 | 2020 |
| Object-centric replay-based conformance checking: unveiling desire lines and local deviations JC Carrasquel, K Mecheraoui Моделирование и анализ информационных систем 28 (2), 146-168, 2021 | 6 | 2021 |
| A Petri net extension for systems of concurrent communicating agents with durable actions K Mecheraoui, IA Lomazova, N Belala Journal of Parallel and Distributed Computing 155, 14-23, 2021 | 2 | 2021 |
| Towards a comprehensive formal model for business processes K Mecheraoui, N Belala, DE Saïdouni Information and Software Technologies: 22nd International Conference, ICIST …, 2016 | 2 | 2016 |
| Объектно-ориентированная проверка соответствия модели на основе воспроизведения журнала событий: выявление желаемого поведения и локальных отклонений ХС Карраскель, Х Мешерауи Моделирование и анализ информационных систем 28 (2), 146-168, 2021 | 1 | 2021 |
| Spécification formelle des processus métiers par l’utilisation des réseaux de Petri temporellement temporisés K MECHERAOUI Ecole Nationale Supérieure d'informatique, 2015 | 1 | 2015 |
| Analysis of Images, Social Networks and Texts: 9th International Conference, AIST 2020, Skolkovo, Moscow, Russia, October 15–16, 2020, Revised Selected Papers WMP van der Aalst, V Batagelj, DI Ignatov, M Khachay, O Koltsova, ... Springer Nature, 2021 | | 2021 |
| Technologies for Intelligent Power Systems A Pakštas, O Shulyma, V Shendryk, M Antal, LZ Szabó, G Nemes, ... | | |
