Deadlock analysis and routing on free-choice multipart reentrant flow lines using a matrix-based discrete event controller | IEEE Conference Publication | IEEE Xplore