Task level optimum scheduling by truncated Petri nets applied to operation of multi-robot workcell | IEEE Conference Publication | IEEE Xplore