可达标识是2018年全国科学技术名词审定委员会公布的计算机科学技术名词。
设 M是佩特里网Σ的一个标识，M自身及M的后继标识都是从M可达的标识；若M′是M的一个可达标识，则M′的后继标识也是M 的可达标识。
《计算机科学技术名词 》第三版。
2018年，经全国科学技术名词审定委员会审定发布。
温馨提示：
