Modica, Tony, Karsten Gabriel, and Kathrin Hoffmann. “Formalization of Petri Nets With Individual Tokens As Basis for DPO Net Transformations”. Electronic Communications of the EASST 40 (August 4, 2011). Accessed October 22, 2024. https://eceasst.org/index.php/eceasst/article/view/1779.