Подписаться
Lomazova Irina
Lomazova Irina
National Research University Higher School of Economics, Software Engineering Dept.
Подтвержден адрес электронной почты в домене hse.ru - Главная страница
Название
Процитировано
Процитировано
Год
Вложенные сети Петри: моделирование и анализ распределенных систем с объектной структурой
ИА Ломазова
Науч. мир, 2004
158*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
1562000
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
1322016
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
1112014
Agile development with software process mining
V Rubin, I Lomazova, WMP Aalst
Proceedings of the 2014 international conference on software and system …, 2014
822014
Some decidability results for nested Petri nets
IA Lomazova, P Schnoebelen
Perspectives of System Informatics: Third International Andrei Ershov …, 2000
812000
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: Multi-level and recursive systems
IA Lomazova
Fundamenta Informaticae 47 (3-4), 283-293, 2001
782001
Nested Petri Nets for adaptive process modeling
IA Lomazova
Pillars of computer science, 460-474, 2008
572008
Modeling dynamic objects in distributed systems with nested Petri nets
IA Lomazova
Fundamenta Informaticae 51 (1-2), 121-133, 2002
352002
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
342014
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
302007
Моделирование мультиагентных динамических систем вложенными сетями Петри
ИА Ломазова
Программные системы: Теоретические основы и приложения: Наука. Физматлит …, 1999
28*1999
Discovery of cancellation regions within process mining techniques
AA Kalenkova, IA Lomazova
Fundamenta Informaticae 133 (2-3), 197-209, 2014
252014
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
242014
Resource equivalences in Petri nets
IA Lomazova
Application and Theory of Petri Nets and Concurrency: 38th International …, 2017
222017
Branching Processes of Conservative Nested Petri Nets
D Frumin, I Lomazova
VPT 2014. Second International Workshop on Verification and Program …, 2014
222014
On compositionality of boundedness and liveness for nested Petri nets
LW Dworzański, IA Lomazova
Fundamenta Informaticae 120 (3-4), 275-293, 2012
202012
Вложенные сети Петри и моделирование распределенных систем
ИА Ломазова
Программные системы: теория и приложения.-Переславль-Залесский 6, 2004
202004
Resource similarities in Petri net models of distributed systems
VA Bashkin, IA Lomazova
Parallel Computing Technologies: 7th International Conference, PaCT 2003 …, 2003
192003
В данный момент система не может выполнить эту операцию. Повторите попытку позднее.
Статьи 1–20