On Multirobot Path Planning Based on Petri Net Models and LTL Specifications | Publicación