On Multi-Robot Path Planning Based on Petri Net Models and LTL specifications | Publicación