A System Method for the Synthesis of Control Parts Defined by Grafcet