deadlock-freeness

deadlock-freeness 基本解释

网络  无死锁性

计算机

重点词汇

• deadlockn. 僵局, 停顿 v. (使)停顿, (使)相持不下 [计] 死锁

deadlock-freeness 双语例句

1. 1、 Preservation of Liveness and deadlock-freeness in Synchronous Synthesis of Petri Net Systems
   同步合成Petri网系统活性与无死锁性的保持性
2. 2、 Finally, conditions under which the preservation of liveness and deadlock-freeness holds for the synchronous synthesis of Petri net systems are proposed.
   最后提出一些条件，在这些条件下，同步合成Petri网系统有活与无死锁的保持性质。
3. 3、 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 constra
   然后提出了由寻找死变迁环来判断网非死锁的简单算法。（4）按照约束添加控制器之后，有必要对受控网再次进行判断活性。