Question: there are two kids a and b and there are...
There are two kids A and B and there are two apples c,d on the table. Each kid wants to pick up an apple from the table, holds it for a while, and puts it back to the table. Therefore, there are the following kinds of events:
A picks up c;
- picks up d;
- picks up c;
B picks up d;
A puts back c;
- puts back d;
- puts back c; B puts back d.
Notice that, as usual, we assume the interleaving model: at any moment there is at most one event is happending (e.g., A and B can not pick up apple at the same time – this is not possible in computer science).
Intially, A and B holds no apple and the two apples c and d are on the table. I want to regulate the event sequences so that at any time, any kid can not hold two apples. Obviously, you need additional control on how the kids are going to behave. Can you design such a control for the kids?