Labeled Transition System的意思|示意

标号迁移系统 虽然π演算的行为通常被解释到一个标号迁移系统（Labeled Transition System）上，但在状态/事件混合系统的建模和推理中，需要扩展一般的标号迁移系统使它能够对系统行为（即：迁移标号）和系统状态（即：状态...

转换系统 7 ^_^ --- --- 例1.3 加标转换系统（labeled transition system）是流行的计算系统模 型。

生成标号迁移系统 ...语 tract Machine,E-CHAM)模型描述软件系统的体系结构;接着使用LTS状态树生成算法,生成标号迁移系统(Labeled Transition System,LTS)表示单一构件的动态行为;最后按照自底向上的集成测试策略完成了整个系统的测试。