@Inproceedings{EPTCS135.3, author = {Van Gorp, Pieter and Rose, Louis M.}, year = {2013}, title = {The Petri-Nets to Statecharts Transformation Case}, editor = {Van Gorp, Pieter and Rose, Louis M. and Krause, Christian}, booktitle = {{\rm Proceedings Sixth} Transformation Tool Contest, {\rm Budapest, Hungary, 19-20 June, 2013}}, series = {Electronic Proceedings in Theoretical Computer Science}, volume = {135}, publisher = {Open Publishing Association}, pages = {16-31}, doi = {10.4204/EPTCS.135.3}, }