Zeno

When Zeno was asked what a friend was, he replied, "Another I."

Why didn't Zeno cross the road? Because he could never get to the other side.

It is therefore important to be able to determine if a model is Zeno and in applicable cases remove Zenoness.

While this system is not Zeno, it can nevertheless not be considered implementable; thus, the boundedness of activity seems to be a more appropriate abstract concept of implementability of a system with respect to the amount of activity in finite intervals of time.

That is, it is necessary to check whether a run is Zeno so as to avoid presenting Zeno runs as counterexamples.