后继标识

（计算机科学技术）

后继标识（succerssor marking），计算机科学技术名词，设 M是佩特里网Σ的一个标识，若变迁t在标识M使能，从M发生变迁t得到新的标识M′，则说M′为M 的后继标识。