A Petri net based approach for multi-robot path planning | Publicación