Symbolic Scheduling of Robotic Cellular Manufacturing Systems With Timed Petri Nets | IEEE Journals & Magazine | IEEE Xplore