Análisis y síntesis de control de seguimiento para redes de petri, basado en observación parcial y enfoque distribuido Research Project