T. Modica, K. Gabriel, and K. Hoffmann, “Formalization of Petri Nets with Individual Tokens as Basis for DPO Net Transformations”, eceasst, vol. 40, Aug. 2011.