Modica, Tony, Karsten Gabriel, and Kathrin Hoffmann. 2011. “Formalization of Petri Nets With Individual Tokens As Basis for DPO Net Transformations”. Electronic Communications of the EASST 40 (August). https://doi.org/10.14279/tuj.eceasst.40.629.