Embodiment of Effective Multiple-robot Control Algorithm using Petri-Net