死变迁

（计算机科学技术）

死变迁（dead transition），计算机科学技术名词，若佩特里网Σ中的一个变迁 t 在Σ的运行中永远不具备发生的条件，就称 t 为Σ中的死变迁。