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