NewtonsCradleNondeterministic
This variant relies on the tolerance of this model for nondeterministic state machines in the modal model.
NewtonsCradleNondeterministic is available as:
An
applet
.