приведет к количеству мячей равному половине итераций. Для того чтобы мешок остался пустым, Вам надо начать НОВЫЙ процесс - который будет из мешка выбрасывать мячики. Если добавить дополнительные условия, которые Вы применяете во втором случае, то 1. количество мячей ограничено. 2. Автомат не останавливается, когда закончились придаваемые мячи, а начинает доставать из мешка по одному мячу.
Вопрос: почему пустой мешок? а не -n мячей.