Irina A. Lomazova
Высшая школа экономики
- Business Process Modeling and Analysis
- Petri Nets in System Modeling
- Service-Oriented Architecture and Web Services
- Formal Methods in Verification
- Semantic Web and Ontologies
Чем занимается
Ключевые темы по публикациям: Business Process Modeling and Analysis; Petri Nets in System Modeling; Service-Oriented Architecture and Web Services; Formal Methods in Verification; Semantic Web and Ontologies.
Последние работы
Все 103 в OpenAlexNested Petri Nets — a Formalism for Specification and Verification of Multi-Agent Distributed Systems2000 · аннотациясвернуть
Nested Petri nets is a formalism for modeling hierarchical multi-agent systems. Tokens in nested Petri nets are elements represented by nets themselves. Decidability of some crucial for verification problems shows that,…
- Process mining using BPMN: relating event logs and process models2015
Process mining can be applied to software too!2014 · аннотациясвернуть
Modern information systems produce tremendous amounts of event data. The area of process mining deals with extracting knowledge from this data. Real-life processes can be effectively discovered, analyzed and optimized…
- Some Decidability Results for Nested Petri Nets2000
Agile development with software process mining2014 · аннотациясвернуть
Modern companies continue investing more and more in the creation, maintenance and change of software systems, but the proper specification and design of such systems continues to be a challenge. The majority of current…
- How to Prevent Fake Cycles in DFG Models Discovered from Event Logs?2025
- Discovering Directly-Follows Graph Model for Acyclic Processes2025
- Soundness Correction of Data Petri Nets2025
Наукометрия
Написать научруку
Email не найден в открытых источниках — поищи на странице вуза или в последних статьях.
Шаблон письма
Здравствуйте, Irina A. Lomazova! Я студент(ка) [курс, факультет, вуз]. Мне интересна тема [опишите интересы своими словами]. Прочитал(а) вашу работу «Nested Petri Nets — a Formalism for Specification and Verification of Multi-Agent Distributed Systems» (2000) — она близка к тому, чем я хочу заниматься. Хочу обсудить возможность выполнить научную работу под вашим руководством. Буду благодарен(на) за ответ — готов(а) рассказать о себе подробнее и прислать резюме. С уважением, [Имя Фамилия]
На этапе теста письмо отправляешь сам из своей почты. Отправка из сервиса и статусы заявок — скоро.