GuardedCount

The GuardedCount model shown using Vergil, the Ptolemy II schematic editor:

See also the timed version of this model.