Petri nets for robot lattices | Publicación