Redes de Petri de alto nível e PNRD invertida associadas ao controle de robôs móveis: uma abordagem para operações de busca e salvamento em trilhas e travessias | Publicación