https://123dok.net/document/q7w79j7k-synthesis-petri-nets-infinite-partial-languages-viptool.html