Este documento presenta un método offline basado en la teoría del control supervisivo para calcular estados de reinicio en un sistema de control de fabricación. Dado estos estados de reinicio precalculados, se pueden proporcionar instrucciones correctas al operador sobre cómo resincronizar el sistema de control y los recursos de fabricación durante el proceso de reinicio en línea. El método propuesto permite el reinicio después de errores imprevistos. Se asume que el sistema de control está modelado por operaciones y que las posibles secuencias de operación surgen a través de dependencias entre las operaciones. El documento muestra cómo se pueden incluir los requisitos de reejecución en el cálculo para obtener un comportamiento correcto del sistema reiniciado. Además, se muestra cómo filtrar los estados de reinicio que requieren menos esfuerzo para el operador durante el reinicio en línea, y cómo adaptar la producción nominal para permitir siempre el reinicio en los estados de reinicio deseados.