Скачать с ютуб [Colloquium] Do process models behave identically? (Irina Lomazova) в хорошем качестве

[Colloquium] Do process models behave identically? (Irina Lomazova)

Do process models behave identically? Algorithmics and Decidability of Bisimulation Equivalences The concept of process equivalence can be formalized in many different ways. One of the most important is the bisimulation equivalence, which captures the main features of the observed behavior of the process. Two processes are bisimilar if an external observer cannot distinguish them. In this talk, we give an overview of the algorithmic and decidability aspects of bisimulation equivalences for Petri nets and some other formal models of process control flow, and present some new results on resource bisimulation equivalences for Petri nets. Speaker: Professor Irina Lomazova, head of the Laboratory of Process-Aware Information Systems. 24 May 2022 Faculty Colloquium: https://cs.hse.ru/en/colloquium/ Faculty of Computer Science: https://cs.hse.ru/en/ Follow us:   / cs_hse