Научно-учебная лаборатория процессно-ориентированных информационных систем (ПОИС)

Подписка на анонсы мероприятий лаборатории

Публикации

Глава в книге

Typed Petri Nets with Variable Arc Weights

Lomazova I. A., Mitsyuk A. A., Rivkin A.

In bk.: Business Process Management Workshops. BPM 2023 International Workshops, Utrecht, The Netherlands, September 11–15, 2023, Revised Selected Papers. Vol. 492. Switzerland: Springer, 2024. P. 483-495.

Статья

Verification of data-aware process models: Checking soundness of data Petri nets

Nikolai M. Suvorov, Irina A. Lomazova.

Journal of Logical and Algebraic Methods in Programming. 2024. Vol. 138.

Статья

Soundness-preserving composition of synchronously and asynchronously interacting workflow net components

Bernardinello L., Irina Lomazova, Roman Nesterov et al.

Journal of Parallel and Distributed Computing. 2023. Vol. 179.

Статья

Discovering architecture-aware and sound process models of multi-agent systems: a compositional approach

Nesterov R., Bernardinello L., Lomazova I. A. et al.

Software and Systems Modeling. 2023. Vol. 22. P. 351-375.

Глава в книге

Property-Preserving Transformations of Elementary Net Systems Based on Morphisms

Bernardinello L., Irina Lomazova, Nesterov R. et al.

In bk.: Transactions on Petri Nets and Other Models of Concurrency XVI. Vol. 13220: Lecture Notes in Computer Science. Springer, 2022. P. 1-23.

Статья

Lomazova I. A., Vladimir A. Bashkin, Jančar P.

Fundamenta Informaticae. 2022. Vol. 186. No. 1-4. P. 175-194.

Все публикации

Нашли опечатку?
Выделите её, нажмите Ctrl+Enter и отправьте нам уведомление. Спасибо за участие!
Сервис предназначен только для отправки сообщений об орфографических и пунктуационных ошибках.

О лаборатории

Лаборатория основана в январе 2013 под научным руководством профессора Вила ван дер Аалста, одного из ведущих мировых ученых в области компьютерных наук и наиболее влиятельных исследователей в таких областях, как менеджмент бизнес-процессов и анализ процессов (Process Mining).

Новости

янв

2024

«Соединить фундаментальное образование и обучение новейшим технологиям — вечная проблема»

Интервью с Ириной Ломазовой

окт

2023

Стартовал осенний сезон семинаров лаборатории ПОИС 2023 года

Николай Суворов, аспирант 1-го года обучения аспирантской школы по компьютерным наукам ФКН, 6 октября 2023 года выступил с докладом по результатам своих текущих исследований.

Наука

10 октября 2023