活变迁(live transition)是2018年公布的计算机科学技术名词。
说佩特里网Σ中的一个变迁 t是活变迁是指:不论Σ运行到什么标识M,都会有一个变迁发生序列到达标识M′,而变迁t在M′ 是可发生的。
《计算机科学技术名词 》第三版。