Hola, queria saber si mi implementación de la parte (a) es correcta, no se parece a las solución publicada, pero no encuentro ningun problema en la ejecución de mi solución
Saludos
Diego
begin {Programa principal}
INIT (S1; 1)
INIT (S2; 0)
Cobegin
Tapar()
Llenar()
Coend
end
procedure Llenar()
begin
P(S1)
if (puedo_llenar()) then
llenar_botella()
end then
V(S2)
P(S1)
avanzar_cinta()
V(S2)
end
procedure Tapar()
begin
P(S2)
if (puedo_tomar()) then
pongo_tapa()
end then
V(S1)
end