Lieselanne,
I have tried to follow the logic in you rmodel, but was not able to figure out, why there are two outports from Queue Puffer to Processor _1. What is the purpose of that setup?
Also I do not really understand the logic you are describing:
"when there are 3 items in the storage " - Items stay in the Storage Nacharbeit for only ten time units before leaving for the sink. Do you want to fire the message from the storage, when their are actually three items in storage, or when the third item enters...and the first two may have exited already?
"The items should therefore only move from the queue (Puffer) when a workstation is free for rework. " - In your model the processors are in sequence behind the Queue Puffer. So the first Processor _1 has to be empty for an item to be able to exit the Puffer. On the other hand, if the first Processor _1 is occupied, but _2 and _3 are available, no item can go directly from the Puffer to _2 or _3. From what you are describing it sounds more like the three Processors need to be connected in parallel to the Queue Puffer, so a rework item can be sent to each of them independently?
Please describe your logic as a whole, so we are able to help.
Thx