Modelling Producer/Consumer Constraints