此外，本文还引入了迁移系统的限制乘积概念，并以此为工具研究了弱互模拟和弱不变量之间的相互转化。

Besides, we introduce the concept of restrict product of transition systems, and take this as a means to study the mutual transition between weak bisimulation and weak invariants.

youdao

其次，本文还引入了迁移系统的限制乘积概念，并以此为工具，研究了弱互模拟和弱不变量之间的相互转化。

Secondly, this paper introduced the concept of restrict product of transition system, and took this as implement, studied the mutually transition between weak bisimulation and weak invariant.

youdao

其次，本文还引入了迁移系统的限制乘积概念，并以此为工具，研究了弱互模拟和弱不变量之间的相互转化。

Secondly, this paper introduced the concept of restrict product of transition system, and took this as implement, studied the mutually transition between weak bisimulation and weak invariant.

youdao