标识

一个佩特里网的标识是网中的库所集到非负整数集的一个映射。用佩特里网描述一个实际系统时，标识表示系统的状态。