added counter and finite termination in scheduling executor