Using hierarchical binary Petri nets to build robust mobile robot applications: RoboGraph | IEEE Conference Publication | IEEE Xplore