@inproceedings {icgt2006,
	title = {Termination Analysis of Model Transformations by {Petri} Nets},
	booktitle = {Proc. Third International Conference on Graph Transformation (ICGT 2006)},
	series = {LNCS},
	volume = {4178},
	year = {2006},
	note = {Acceptance rate: 45\%},
	pages = {260{\textendash}274},
	publisher = {Springer},
	organization = {Springer},
	address = {Natal, Brazil},
	abstract = {<p>
	Despite the increasing relevance of model transformation techniques in model-driven software development, research is mainly conducted to the specification and the automation of such transformations. However, since the transformations themselves may also contain conceptual flaws, it is essential to formally analyze them prior to executing them on user models. In the current paper, we focus on a central validation problem of trusted model transformations, namely, termination and propose a Petri net based analysis method that provides a sufficient criterion for the termination problem of model transformations captured by graph transformation systems.</p>
},
	keywords = {graph transformation, model transformation, Petri nets, termination},
	url = {http://www.mit.bme.hu/~varro/publication/2006/icgt2006.pdf},
	author = {D{\'a}niel Varr{\'o} and Szilvia Varr{\'o}-Gyapay and Hartmut Ehrig and Ulrike Prange and Gabriele Taentzer},
	editor = {Corradini, Andrea and Hartmut Ehrig and Ugo Montanari and Leila Ribeiro and Rozenberg, Grzegorz}
}
