StateTracker

This is a very simple model by David Hermann, (Research in Motion) outputs which state it is in. It also demonstrates Transition Refinements by appending a string to the output in the refinements.

The block diagram for the model was constructed using the Ptolemy II schematic editor called Vergil.