Manuel Wimmer Gerti Kappel Johannes Schönböck Angelika Kusel Werner Retschitzegger Wieland Schwinger TROPIC: a framework for model transformations on petri nets in color. 783-784 2009 OOPSLA Companion http://doi.acm.org/10.1145/1639950.1640013 conf/oopsla/2009c db/conf/oopsla/oopsla2009c.html#WimmerKSKRS09