| Process mining using BPMN: relating event logs and process models AA Kalenkova, WMP van der Aalst, IA Lomazova, VA Rubin Proceedings of the ACM/IEEE 19th International Conference on Model Driven …, 2016 | 182 | 2016 |
| Вложенные сети Петри: моделирование и анализ распределенных систем с объектной структурой ИА Ломазова Науч. мир, 2004 | 175* | 2004 |
| Nested Petri Nets - a Formalism for Specification and Verification of Multi-Agent Distributed Systems IA Lomazova Fundamenta informaticae 43 (1-4), 195-214, 2000 | 172 | 2000 |
| Process mining can be applied to software too! VA Rubin, AA Mitsyuk, IA Lomazova, WMP van der Aalst Proceedings of the 8th ACM/IEEE International Symposium on Empirical …, 2014 | 149 | 2014 |
| Agile development with software process mining V Rubin, I Lomazova, WMP Aalst Proceedings of the 2014 international conference on software and system …, 2014 | 93 | 2014 |
| Some decidability results for nested Petri nets IA Lomazova, P Schnoebelen International Andrei Ershov Memorial Conference on Perspectives of System …, 1999 | 83 | 1999 |
| Nested Petri nets: Multi-level and recursive systems IA Lomazova Fundamenta Informaticae 47 (3-4), 283-293, 2001 | 81 | 2001 |
| Nested nets for adaptive systems KM van Hee, IA Lomazova, O Oanea, A Serebrenik, N Sidorova, ... International Conference on Application and Theory of Petri Nets, 241-260, 2006 | 79* | 2006 |
| Nested Petri Nets for adaptive process modeling IA Lomazova Pillars of computer science, 460-474, 2008 | 60 | 2008 |
| Process model discovery: A method based on transition system decomposition AA Kalenkova, IA Lomazova, WMP van der Aalst International Conference on Applications and Theory of Petri Nets and …, 2014 | 51 | 2014 |
| Discovery of cancellation regions within process mining techniques AA Kalenkova, IA Lomazova Fundamenta Informaticae 133 (2-3), 197-209, 2014 | 37 | 2014 |
| Modeling dynamic objects in distributed systems with nested Petri nets IA Lomazova Fundamenta Informaticae 51 (1-2), 121-133, 2002 | 37 | 2002 |
| Моделирование мультиагентных динамических систем вложенными сетями Петри ИА Ломазова Программные системы: Теоретические основы и приложения: Наука. Физматлит …, 1999 | 32* | 1999 |
| Checking properties of adaptive workflow nets K van Hee, O Oanea, A Serebrenik, N Sidorova, M Voorhoeve, ... Fundamenta Informaticae 79 (3-4), 347-362, 2007 | 30 | 2007 |
| Controlling Petri Net Behavior using Priorities for Transitions IA Lomazova, L Popova-Zeugmann CS&P 2014. Proceedings of the 23th International Workshop on Concurrency …, 2014 | 27 | 2014 |
| Discovering high-level process models from event logs AK Begicheva, IA Lomazova Моделирование и анализ информационных систем 24 (2), 125-140, 2017 | 24 | 2017 |
| Branching Processes of Conservative Nested Petri Nets D Frumin, I Lomazova VPT 2014. Second International Workshop on Verification and Program …, 2014 | 24 | 2014 |
| Resource equivalences in Petri nets IA Lomazova International Conference on Applications and Theory of Petri Nets and …, 2017 | 22 | 2017 |
| Вложенные сети Петри и моделирование распределенных систем ИА Ломазова Программные системы: теория и приложения.-Переславль-Залесский 6, 2004 | 22 | 2004 |
| CPN tools-assisted simulation and verification of nested Petri nets LW Dworzański, IA Lomazova Automatic Control and Computer Sciences 47 (7), 393-402, 2013 | 21 | 2013 |
Wil van der AalstProfessor of Process and Data Science, RWTH Aachen University || Celonis || Fraunhofer FIT || TU/eVerified email at pads.rwth-aachen.de
