Unbounded Petri Net Synthesis