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