Buenas, en este ejercicio en la tarea panaderia se definen los encuentros "damePaleta(p : out integer)" y "dameOtraPaleta(p : out integer)" , en la solución no me queda muy claro por qué es necesario diferenciar entre la primer paleta que toma el panadero de la segunda. Estoy viendo que la única diferencia entre las guardas de los 2 encuentros que ofrece es que uno pregunta si cant_paletas >= 2 para ofrecer el encuentro damePaleta. Pienso que esa diferenciación puede ser para evitar un posible deadlock. Pero no pasaría que si hay una paleta disponible, y hay un panadero sin tomar todavía su primer paleta esta no se ofrezca?
Gracias.