NondeterministicMergeWithFeedback is available as:
In this highly nondeterministic model, the Ramp actor generates 10 tokens, numbered 0 through 9, and then stops. The NondeterministicMerge merges this stream with the stream resulting from the merge. The Ramp2 actor counts the output tokens from the NondeterministicMerge, and when 10 of them have been provided to the Expression actor, that actor signals the Stop actor to stop the execution. Since the Stop actor runs in its own thread, as does the SequencePlotter actor, the number of tokens that are displayed before the model stops is nondeterministic, as is, of course, the exact sequence of their values.