Enhancement of an deadlock prevention policy for FMSs using theory of regions | IEEE Conference Publication | IEEE Xplore