Petri Net Synthesis For Discrete Event Control Of Manufacturing Systems by Zhou Mengchu Zhou & F. Dicesare