活变迁

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