Lomazova Irina
Lomazova Irina
National Research University Higher School of Economics, Software Engineering Dept.
Подтвержден адрес электронной почты в домене hse.ru - Главная страница
НазваниеПроцитированоГод
Nested Petri nets—a formalism for specification and verification of multi-agent distributed systems
IA Lomazova
Fundamenta informaticae 43 (1-4), 195-214, 2000
1342000
Вложенные сети Петри: моделирование и анализ распределенных систем с объектной структурой
ИА Ломазова
Науч. мир, 2004
101*2004
Some decidability results for nested Petri nets
IA Lomazova, P Schnoebelen
International Andrei Ershov Memorial Conference on Perspectives of System …, 1999
711999
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
70*2006
Nested Petri nets: Multi-level and recursive systems
IA Lomazova
Fundamenta Informaticae 47 (3-4), 283-293, 2001
672001
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
422014
Process mining using BPMN: relating event logs and process models
AA Kalenkova, WMP van der Aalst, IA Lomazova, VA Rubin
Software & Systems Modeling 16 (4), 1019-1048, 2017
412017
Nested Petri Nets for adaptive process modeling
IA Lomazova
Pillars of computer science, 460-474, 2008
39*2008
Agile development with software process mining
V Rubin, I Lomazova, WMP van der Aalst
Proceedings of the 2014 international conference on software and system …, 2014
332014
Modeling dynamic objects in distributed systems with nested Petri nets
IA Lomazova
Fundamenta Informaticae 51 (1-2), 121-133, 2002
272002
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
252007
Моделирование мультиагентных динамических систем вложенными сетями Петри
ИА Ломазова
Программные системы: Теоретические основы и приложения: Наука. Физматлит …, 1999
23*1999
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
212014
Discovery of cancellation regions within process mining techniques
AA Kalenkova, IA Lomazova
Fundamenta Informaticae 133 (2-3), 197-209, 2014
172014
On compositionality of boundedness and liveness for nested Petri nets
LW Dworzański, IA Lomazova
Fundamenta Informaticae 120 (3-4), 275-293, 2012
172012
Вложенные сети Петри и моделирование распределенных систем
ИА Ломазова
Программные системы: теория и приложения.-Переславль-Залесский 6, 2004
172004
Multi-agent systems and petri nets
IA Lomazova
Int. Workshop on Distributed Artificial Intelligence and Multi-Agent Systems …, 1997
141997
Petri nets and resource bisimulation
VA Bashkin, IA Lomazova
Fundamenta Informaticae 55 (2), 101-114, 2003
132003
Объектно-ориентированные сети Петри: формальная семантика и анализ
ИА Ломазова
Системная информатика, 143-205, 2002
13*2002
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
122013
В данный момент система не может выполнить эту операцию. Повторите попытку позднее.
Статьи 1–20