Algebraic Synthesis of Timed Supervisor for Automated Manufacturing Systems Using Petri Nets | IEEE Journals & Magazine | IEEE Xplore