Dániel Varró, Szilvia Varró-Gyapay, Hartmut Ehrig, Ulrike Prange, Gabriele Taentzer. Termination Analysis of Model Transformations by Petri Nets. In Andrea Corradini, Hartmut Ehrig, Ugo Montanari, Leila Ribeiro, Grzegorz Rozenberg, editors, Graph Transformations, Third International Conference, ICGT 2006, Natal, Rio Grande do Norte, Brazil, September 17-23, 2006, Proceedings. Volume 4178 of Lecture Notes in Computer Science, pages 260-274, Springer, 2006. [doi]
@inproceedings{VarroVEPT06,
title = {Termination Analysis of Model Transformations by Petri Nets},
author = {Dániel Varró and Szilvia Varró-Gyapay and Hartmut Ehrig and Ulrike Prange and Gabriele Taentzer},
year = {2006},
doi = {10.1007/11841883_19},
url = {http://dx.doi.org/10.1007/11841883_19},
tags = {model-to-model transformation, meta-model, points-to analysis, analysis, termination, source-to-source, model transformation, Meta-Environment, transformation},
researchr = {https://researchr.org/publication/VarroVEPT06},
cites = {0},
citedby = {0},
pages = {260-274},
booktitle = {Graph Transformations, Third International Conference, ICGT 2006, Natal, Rio Grande do Norte, Brazil, September 17-23, 2006, Proceedings},
editor = {Andrea Corradini and Hartmut Ehrig and Ugo Montanari and Leila Ribeiro and Grzegorz Rozenberg},
volume = {4178},
series = {Lecture Notes in Computer Science},
publisher = {Springer},
isbn = {3-540-38870-2},
}