It is the pleasure of imagining a liveness, a directness, a presence.

这是一个快乐的活性想像，一个直接，一个存在。

Liveness and safeness are important behavioral properties of net systems.

活性和有界性是网系统的重要行为特性。

Together, this discovery and failure detection is often referred to as liveness.

这个发现和故障检测总称活性。

Liveness and safeness are important behavioral properties of nets (systems).

活性与安全性是网系统重要的行为性质。

Various definitions for safety and liveness appeared in literature are analyzed and compared.

对现有文献中不同的安全性和活性定义进行了分析和比较。