Hi,
today I had a trouble with the zone, but I didn't understand if it is a bug or my error.
You can reproduce the issue from the model zoneallocation.fsm in this way:
- reset the model;
- click step 11 times;
At this point the token left partition 1 of the zone and allocated partition 2.
Next step it re-allocates partition 1.
The second allocation allows to know if there is a token which is waiting in the queue. In this model I exclude the logic, but I need to distinguish this case.
With another step the token leave the partition, but doesn't leave the partition 1 but 2. Why? Immediatly I search an error in the implementation, but I don't find it. Is it a bug?
Thanks for the support!