How should I do that the two receiving processes not to be twice in a row in Promela model?

Question

I am a beginner in the spin. I am trying that the model runs the two receiving processes (function called consumer in the model) alternatively, ie. (consumer 1, consumer 2,