An efficient deadlock prevention policy for FMSs using reduction method and theory of regions | IEEE Conference Publication | IEEE Xplore