@misc{indiciae91aa0a729f79,
  title = {Efficient Synthesis of Weighted Marked Graphs with Circular Reachability Graph, and Beyond},
  author = {Raymond Devillers and Evgeny Erofeev and Thomas Hujsa},
  year = {2019},
  url = {https://arxiv.org/abs/1910.14387},
  note = {Source identifier: 1910.14387}
}