• A
  • A
  • A
  • АБВ
  • АБВ
  • АБВ
  • А
  • А
  • А
  • А
  • А
Обычная версия сайта

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

Публикации
Глава в книге
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.

Статья
Resource Bisimilarity in Petri Nets is Decidable

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

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

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

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


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

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

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

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

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

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