Modica, T., Gabriel, K. and Hoffmann, K. (2011) “Formalization of Petri Nets with Individual Tokens as Basis for DPO Net Transformations”, Electronic Communications of the EASST, 40. doi: 10.14279/tuj.eceasst.40.629.