deadlock-freeness
英 [ˈdedlɒk ˈfriːnəs]
美 [ˈdedlɑːk ˈfrɪnəs]
网络 无死锁性
双语例句
- Preservation of Liveness and Deadlock-Freeness in Synchronous Synthesis of Petri Net Systems
同步合成Petri网系统活性与无死锁性的保持性 - Finally, conditions under which the preservation of liveness and deadlock-freeness holds for the synchronous synthesis of Petri net systems are proposed.
最后提出一些条件，在这些条件下，同步合成Petri网系统有活与无死锁的保持性质。 - Besides, a simple algorithm judging the deadlock-freeness of a controlled Gadara net from looking for dead-transition loops is also proposed. ( 4) It is necessary to check the liveness of the controlled net again after adding monitors according to constraints.
然后提出了由寻找死变迁环来判断网非死锁的简单算法。（4）按照约束添加控制器之后，有必要对受控网再次进行判断活性。