@Inproceedings{EPTCS135.11,
  author    = {Horn, Tassilo},
  year      = {2013},
  title     = {Solving the Petri-Nets to Statecharts Transformation Case with FunnyQT},
  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     = {88-94},
  doi       = {10.4204/EPTCS.135.11},
}