Using hierarchical binary Petri nets to build robust mobile robot applications: RoboGraph | Publicación