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

Laboratory of Process-Aware Information Systems (PAIS Lab)

Publications
Article
Equivalence Checking Problem for Finite State Transducers

Zakharov V.A.

Lecture Notes in Computer Science. 2015. Vol. 9270. P. 208-221.

Article
Process Mining Using BPMN: Relating Event Logs and Process Models

Kalenkova A. A., van der Aalst W., Lomazova I. A. et al.

Software and Systems Modeling. 2015. P. 1-30.

Article
VTMine Framework as Applied to Process Mining Modeling

Sergey Andreevich Shershakov.

International Journal of Computer and Communication Engineering. 2015. Vol. 4. No. 3. P. 166-179.

Our lab was founded in January 2013. It is a division of HSE Faculty of Computer Science. We conduct research on process-aware information systems and process mining. Good examples of PAISs are BPM systems, Workflow Management systems, ERP systems, and case handling systems. Our main goal is to develop new methods and approaches in modelling, analysis, and design of such systems.


PAIS Lab seminar: Nested Petri Nets: behaviour analysis and time semantics

At the session of our seminar, Leonid Dworzansky (researcher of PAIS Lab) delivered the report «Nested Petri Nets: behaviour analysis and time semantics»

PAIS Lab Seminar: Structural and parametric adaptive synthesis of discrete systems with a given behavior

At the session of our seminar, Petrosov David Aregovich, PhD, Head of the Department of Computer Science and Information Technology Belgorod State Agricultural University after V.Y. Gorin delivered the report «Structural and parametric adaptive synthesis of discrete systems with a given behavior»

Pais Lab Seminar: Modular Process Model Repair

At the session of our seminar, Alexey Mitsyuk (junior researcher of PAIS Lab) delivered the report «Modular Process Model Repair»

PAIS Lab Seminar: Process mining: theory, methods, and tools.

At the session of our seminar, Irina Lomazova (Head of PAIS Lab) delivered a report «Process mining: theory, methods, and tools»

PAIS Lab Seminar: Planning in sign world model

At the session of our seminar, Alexander Panov (researcher at PAIS Lab) delivered a report "Planning in sign world model"

PAIS Lab seminar: Knowledge and beliefs of agents in the cloud

At the session of our seminar, Nikolay Shilov (senior researcher at A.P. Ershov Institute of Informatics Systems) delivered a report "Knowledge and beliefs of agents in the cloud".

PAIS Lab seminar: Support of Decision-Making in IT-project Risk Assessment under Z-numbers / Discovering uml diagramm from event logs using process mining

At the session of our seminar,  Ekaterina Goleva (Master's student at the HSE CS Faculty) delivered a report "Support of Decision-Making in IT-project Risk Assessment under Z-numbers" and Maxim Savitsky (Master's student at the HSE CS Faculty) delivered a perort "Discovering uml diagramm from event logs using process mining".

PAIS Lab seminar: Structural analysis of systems in case of uncertainty / Transformation of event logs for synthesis high-level process models

At the session of our seminar,  Marina Kaleturina (Master's student at the HSE CS Faculty) delivered a report " Structural analysis of systems in case of uncertainty", and Semyon Velichko delivered a report "Transformation of event logs for synthesis high-level process models"

PAIS Lab seminar: Method for synthesis of well-structured process models for transition systems based on hierarchy of events

At the session of our seminar, Evgenii Elokhov (Master's student at the HSE CS Faculty) delivered a report "Method for synthesis of well-structured process models for transition systems based on hierarchy of events"

PAIS Lab seminar: Models, methods and software for the analysis of digraph similarity and their application to the study of temporal digraphs

At the session of our seminar, Viktor Kokhov (National Research University "Moscow Power Engineering Institute") delivered a report "Models, methods and software for the analysis of digraph similarity and their application to the study of temporal digraphs"