Optimal Scheduling of Human–Robot Collaborative Assembly Operations With Time Petri Nets | IEEE Journals & Magazine | IEEE Xplore