Robot Planning Based on Boolean Specifications Using Petri Net Models | Publicación