The model of PATS is built based on Timed Colored Petri Net(TCPN). The boundedness, conservation, liveness and fairness of the model are validated based on linear algebra.
采用赋时有色Petri网对并行测试系统进行建模，并基于线性代数的方法验证模型结构的有界性、守恒性、活性和公平性。
参考来源 - 导弹并行测试系统优化模型与性能评价Finally, we consider the liveness based on networking unfolding.
最后,本文基于网络展开法研究有界Petri网的活性。
参考来源 - 基于简化技术的离散事件系统控制器的综合·2,447,543篇论文数据，部分数据来源于NoteExpress
同义词： animateness aliveness
以上来源于: WordNet
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).
活性与安全性是网系统重要的行为性质。
应用推荐