An efficient liveness enforcing supervisor for FMSs based on Petri nets and the theory of regions | IEEE Conference Publication | IEEE Xplore