1) preservation of liveness and deadlock-freeness
活性与无死锁性的保持性
1.
In this paper, the preservation of liveness and deadlock-freeness is discussed for a synchronous synthesis process.
研究了Petri网系统同步合成操作活性与无死锁性的保持性。
2) non deadlock
无死锁性
1.
The safety and non deadlock of the system are discussed.
利用Ｐｅｔｒｉ网建立多资源并发系统模型，讨论了系统的安全性与无死锁性，指出死锁存在的条件，给出消除死锁的控制装置，通过一实际制造系统的建模与分析，验证了该文结果的正确性和有效性。
4) preservation of liveness
活性保持性
1.
This paper summarizes our works on preservation of liveness in two synthesis processes, namely, synchronous and sharing processes.
本文综述了我们对Petri网系统两种合成操作(共享合成、同步合成)活性保持性的研究工作。
5) Inactite
无活性的
6) Character improvement and maintainenee
种性改良与保持
补充资料：连续性与非连续性(见间断性与不间断性)
连续性与非连续性(见间断性与不间断性)
continuity and discontinuity
11an父ux泊g四f“山。麻以角g、.连续性与非连续性(c。nt，n琳t:nuity一)_见间断性与不间断性。and diseo红ti-
说明：补充资料仅用于学习参考，请勿用于其它任何用途。
参考词条