At the session of our seminar, Vladimir Zakharov (Lead research fellow of the PAIS Lab) delivered a report "Equivalence checking problem for finite state transducers".
At the international conference "Business Process Management" (Innsbruck, Austria, 2015, rank A) an intern researcher from PAIS Lab Ivanov S. Y. presented his bachelor thesis "BPMNDiffViz: A Tool for BPMN Models Comparison" devoted to the comparison of models of business processes. This work was supported by RFBR grant 15-37-21103.
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.
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).
On May 28 HSE Honorary Professor, Professor at the Technical University of Eindhoven, Wil van der Aalst delivers a lecture on 'Data Science: The Science of Big Data'.
Vera Ermakova, HSE master's student presented the report 'Verification of Multi-Agent System Models via Nested Petri Net Unfoldings' at PAIS seminar.
Leonid Dworzanski, Senior Lecturer at the School of Software Engineering delivered the report 'On Place Invariants of Nested Petri Nets'.
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.