@misc{indiciaebfb94b23fea2,
  title = {Some Basic Techniques allowing Petri Net Synthesis: Complexity and Algorithmic Issues},
  author = {Raymond Devillers and Ronny Tredup},
  year = {2022},
  url = {https://arxiv.org/abs/2112.03605},
  note = {Source identifier: 2112.03605}
}