A deadlock-free scheduling method for automated manufacturing systems using dynamic-edge graph with tokens. - Huang, Zhonghua; Wu, Zhiming (2004)