On Multi-Robot Path Planning based on Petri Net Models and LTL Specifications | IEEE Journals & Magazine | IEEE Xplore