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"
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".
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).
Vera Ermakova, HSE master's student presented the report 'Verification of Multi-Agent System Models via Nested Petri Net Unfoldings' at PAIS seminar.
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.
At the session of PAIS Lab seminar were presented two talks by the research assistants of the Lab.
Talk by E. Mistyukov - Log-based transition system recovery.
Talk of I. Shugurov - GENA: Generator of artificial event logs. Current state of work.
Two talks from the research assistants of PAIS Lab.
Antonina Begicheva: Conformance checking algorithms for Petri nets. Natalia Nikitina: Petri net 2D-Layout Algorithms.