Modica, T.; Gabriel, K.; Hoffmann, K. Formalization of Petri Nets With Individual Tokens As Basis for DPO Net Transformations. eceasst 2011, 40.