@Inproceedings{EPTCS135.12,
  author    = {Hinkel, Georg and Goldschmidt, Thomas and Happe, Lucia},
  year      = {2013},
  title     = {An NMF solution for the Petri Nets to State Charts case study at the TTC 2013},
  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     = {95-100},
  doi       = {10.4204/EPTCS.135.12},
}