...b 服务， 设计出一个可以确定 Web 服务间行为相容性和语 法相容性的方法，采用迹等价和互模拟等价 （bisimulation equivalence）来确定两个Petri 网模 型间的相似性，该方法可以确保在相容的进程之间 不存在死锁。
基于20个网页-相关网页
In this paper, we research region automata, zone automata and the method of state space minimization based on history equivalence and bisimulation transition.
本文主要研究了域自动机方法、带自动机方法以及基于历史等价和转换互模拟的最小化方法。
Bisimulation is often chosen as the equivalence relation in equivalence checking.
在等价验证中，通常选择互模拟作为等价关系。
应用推荐