Email Record: Implementation of Distributed Control Architecture for Multiple Robot Systems Using Petri Nets