Discrete Event Control in Manufacturing Automation by Chengyin Yuan