Petri-net-based supervisory control for FMSs using the theory of regions | IEEE Conference Publication | IEEE Xplore