Scientific activity

The research activity of laboratory staff members is focused on business process management, process modelling and analysis, development of algorithms for automatic synthesis of process models, and design and architecture of process-aware information systems. Researchers apply a wide range of formal methods (e.g., Petri nets, well-formed Petri nets, finite-state machines, BPMN models and others), process analysis methods based on data analysis (data/process mining), and methods of system and software engineering.

Most processes in modern society are supported by process-aware information systems. When you rent a car, buy a book, book a ticket, fill in tax returns, transfer money, receive a bank loan, or make a doctor’s appointment, you carry out processes supported by PAIS. Laboratory staff members work on improving the methods and approaches used for systems analysis and development. Researchers focus not only on method application but also on the theoretical basis of the developed methods.

Many research projects are carried out together with international colleagues. The laboratory collaborates with the Architecture of Information Systems (AIS) research group at the Eindhoven University of Technology (Netherlands) and the Theory of Programming department at the Humboldt University of Berlin.

Students and young researchers also take part in the lab’s projects. Under the supervision of senior scholars, they can gain experience and participate in research work.

Laboratory staff members publish their papers in peer-reviewed Russian and international journals, including Fundamenta Informaticae and Software & Systems Modeling.

Our researchers regularly participate in international conferences, including the International Conference on Business Process Management (BPM), the International Conference on Application and Theory of Petri Nets and Concurrency (Petri Nets), and others. Laboratory research assistants present their projects at the Spring/Summer Young Researchers' Colloquium on Software Engineering (SYRCoSE).