@inproceedings{TUW-178421, author = {Wimmer, Manuel and Kappel, Gerti and Kusel, Angelika and Retschitzegger, Werner and Sch{\"o}nb{\"o}ck, Johannes and Schwinger, Wieland}, title = {Right or Wrong? - Verification of Model Transformations using Colored Petri Nets}, booktitle = {Proceedings of the 9th OOPSLA Workshop on Domain-Specific Modeling (DSM'09)}, year = {2009}, publisher = {Helsinki Business School}, eid = {15}, url = {http://publik.tuwien.ac.at/files/PubDat_178421.pdf}, keywords = {Model Transformation, CPN, Veri cation, Debugging} }