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: "Event Structures: Yet Another Process Model"
At the session of our seminar, Rinat Yusupov (Master's student at the HSE CS Faculty) delivered a report "Event Structures: Yet Another Process Model"
Seminar on "Detection of anti-patterns in service-based systems"
Alexander Yugov, student of FCS delivered the report 'Detection of anti-patterns in service-based systems'.
PAIS Lab seminar: Detection of anti-patterns in service-based systems
At the session of our seminar, Alexander Yugov (Master's student at the HSE CS Faculty) delivered a report "Detection of anti-patterns in service-based systems".
Seminar on 'Event Log Visualisation with Conditional Partial Order Graphs: From Control Flow to Data'
Andrey Mokhov, lecturer in computer engineering at Newcastle University delivered a report on 'Event Log Visualisation with Conditional Partial Order Graphs' during a PAIS seminar.
Students of the Faculty of Computer Science Delivered Reports at PAIS Lab Seminar
The following speakers presented their reports at PAIS Seminar: Rinat Yusupov (Mining causal relations on events from logs), Yana Manukhina (Process mining approach to user interface design), Maxim Savitsky (Performance analysis using software process mining), Alexander Yugov (Discovering service oriented architecture antipatterns using process mining).
Seminar on 'Verification of Multi-Agent System Models via Nested Petri Net Unfoldings'
Vera Ermakova, HSE master's student presented the report 'Verification of Multi-Agent System Models via Nested Petri Net Unfoldings' at PAIS seminar.
Seminar 'On Place Invariants of Nested Petri Nets'
Leonid Dworzanski, Senior Lecturer at the School of Software Engineering delivered the report 'On Place Invariants of Nested Petri Nets'.
PAIS Lab Seminar: Comparing business models using graph-edit distance // S. Ivanov
At the session of our seminar Sergey Ivanov (research assistant at PAIS Lab, 4-year student at CSF of HSE) succesfully presented the talk on subject: Comparing business models using graph-edit distance.