Вложенные сети Петри: моделирование и анализ распределенных систем с объектной структурой ИА Ломазова Науч. мир, 2004 | 163* | 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 | 158 | 2000 |
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 | 153 | 2016 |
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 | 131 | 2014 |
Agile development with software process mining V Rubin, I Lomazova, WMP Aalst Proceedings of the 2014 international conference on software and system …, 2014 | 87 | 2014 |
Some decidability results for nested Petri nets IA Lomazova, P Schnoebelen International Andrei Ershov Memorial Conference on Perspectives of System …, 1999 | 81 | 1999 |
Nested Petri nets: Multi-level and recursive systems IA Lomazova Fundamenta Informaticae 47 (3-4), 283-293, 2001 | 79 | 2001 |
Nested nets for adaptive systems KM van Hee, IA Lomazova, O Oanea, A Serebrenik, N Sidorova, ... Petri Nets and Other Models of Concurrency-ICATPN 2006: 27th International …, 2006 | 78* | 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 Application and Theory of Petri Nets and Concurrency: 35th International …, 2014 | 43 | 2014 |
Modeling dynamic objects in distributed systems with nested Petri nets IA Lomazova Fundamenta Informaticae 51 (1-2), 121-133, 2002 | 37 | 2002 |
Discovery of cancellation regions within process mining techniques AA Kalenkova, IA Lomazova Fundamenta Informaticae 133 (2-3), 197-209, 2014 | 30 | 2014 |
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 |
Моделирование мультиагентных динамических систем вложенными сетями Петри ИА Ломазова Программные системы: Теоретические основы и приложения: Наука. Физматлит …, 1999 | 30* | 1999 |
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 | 25 | 2014 |
Branching Processes of Conservative Nested Petri Nets D Frumin, I Lomazova VPT 2014. Second International Workshop on Verification and Program …, 2014 | 25 | 2014 |
Resource equivalences in Petri nets IA Lomazova International Conference on Applications and Theory of Petri Nets and …, 2017 | 22 | 2017 |
On compositionality of boundedness and liveness for nested Petri nets LW Dworzański, IA Lomazova Fundamenta Informaticae 120 (3-4), 275-293, 2012 | 22 | 2012 |
Вложенные сети Петри и моделирование распределенных систем ИА Ломазова Программные системы: теория и приложения.-Переславль-Залесский 6, 2004 | 20 | 2004 |
Discovering high-level process models from event logs AK Begicheva, IA Lomazova Моделирование и анализ информационных систем 24 (2), 125-140, 2017 | 19 | 2017 |