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