Petri Net Synthesis for Discrete Event Control of Manufacturing Systems | lit.salon