可达标识图

可达标识图（reachable marking graph）是2018年全国科学技术名词审定委员会公布的计算机科学技术名词。一个佩特里网Σ的可达标识图是以Σ的可达标识集为结点集的一个有向图。若从标识M发生变迁t得到标识M′，则从结点M向结点M′引一条有向边并旁标以“t”。