@misc{indiciaec9db538c8855,
  title = {An NMF solution for the Petri Nets to State Charts case study at the TTC 2013},
  author = {Georg Hinkel and Thomas Goldschmidt and Lucia Happe},
  year = {2013},
  doi = {10.4204/eptcs.135.12},
  url = {https://arxiv.org/abs/1312.0596},
  note = {Source identifier: 1312.0596}
}