Varró, D., Varró-Gyapay, S., Ehrig, H., Prange, U., and Taentzer, G.,
"Termination Analysis of Model Transformations by {Petri} Nets",
Proc. Third International Conference on Graph Transformation (ICGT 2006), vol. 4178, Natal, Brazil, Springer, pp. 260–274, 2006.
