@misc{indiciae29df81661e67,
  title = {The Petri-Nets to Statecharts Transformation Case},
  author = {Pieter Van Gorp and Louis M. Rose},
  year = {2013},
  doi = {10.4204/eptcs.135.3},
  url = {https://arxiv.org/abs/1312.0342},
  note = {Source identifier: 1312.0342}
}