Supervisor Simplification in FMSs: Comparative Studies and New Results Using Petri Nets | IEEE Journals & Magazine | IEEE Xplore