Deadlock-free scheduling method for automated manufacturing systems with limited central buffers | IEEE Conference Publication | IEEE Xplore