Petri Net Synthesis | lit.salon