• A
  • A
  • A
  • ABC
  • ABC
  • ABC
  • А
  • А
  • А
  • А
  • А
Regular version of the site

Laboratory of Process-Aware Information Systems (PAIS Lab)

Publications
Article
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.

Article
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.

Article
Борис Абрамович Трахтенброт (к столетию со дня рождения)

Артемов С. Н., Барздинь Я. М., Бокуть Л. А. и др.

Успехи математических наук. 2022. Т. 77. № 1(463). С. 191-195.

Article
Method of Performance Analysis of Time-Critical Applications Using DB-Nets

Rigin A., Shershakov Sergey Andreevich.

Proceedings of the Institute for System Programming of the RAS. 2021. Vol. 33. No. 3. P. 109-122.

Article
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.

Article
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.

Article
Борис Абрамович Трахтенброт (к столетию со дня рождения)

Артемов С. Н., Барздинь Я. М., Бокуть Л. А. и др.

Успехи математических наук. 2022. Т. 77. № 1(463). С. 191-195.

Article
Method of Performance Analysis of Time-Critical Applications Using DB-Nets

Rigin A., Shershakov Sergey Andreevich.

Proceedings of the Institute for System Programming of the RAS. 2021. Vol. 33. No. 3. P. 109-122.

About the Lab

The laboratory was founded in January 2013 under the scientific supervision of Professor Wil van der Aalst, one of the world's leading computer scientists and the most influential researchers in fields such as business process management and process analysis (Process Mining).


Illustration for news: Celebrating 20 Years of Software Engineering at HSE

Celebrating 20 Years of Software Engineering at HSE

This year, HSE University marks twenty years since the launch of its Software Engineering field of study. In February 2006, the HSE Academic Council decided to establish the Department of Software Engineering—the first of its kind in Russia. The department was later reorganised into the School, which since 2014 has been part of the Faculty of Computer Science.

Illustration for news: ‘I Have Never Competed with Anyone’

‘I Have Never Competed with Anyone’

On the Birthday of Irina Lomazova