Automatic synthesis of colored Petri nets for the control of FMS | Publicación