Describir: Design and Implementation of Hierarchical and Distributed Control for Robotic Manufacturing Systems Using Petri Nets