Time, Petri nets, and robotics | IEEE Journals & Magazine | IEEE Xplore