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