Petri Net Synthesis for Discrete Event Control of Manufacturing Systems