Real-time scheduling for robot systems by timed Petri nets | IEEE Conference Publication | IEEE Xplore