Коллоквиум "Do process models behave identically? Algorithmics and Decidability of Bisimulation Equivalences"
Департамент программной инженерии: Профессор
Date: May 24, 16:20
Speaker:Irina Lomazova, HSE University
Topic: Do process models behave identically? Algorithmics and Decidability of Bisimulation Equivalences
Abstract: The concept of process equivalence can be formalized in many different ways. One of the most important is the bisimulation equivalence, which captures the mail 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