Hola!
En la solución dada en OpenFing, me queda la duda si la condición de "if not rellenar or cc>0" en el procedimiento ini_coc es necesaria. Viendo el programa, al cocinero se lo despierta solo cuando es necesario, es decir, cuando cc = 0 y rellenar = true. Entonces, yo en ini_coc solo pondría un wait en la condición del cocinero, sin ese if, ya que siempre lo despiertan correctamente, y sino se queda dormido.
Esto es correcto? Gracias!