CounterMachine

CounterMachine is available as:

These models illustrate how to build Counter Machines in Boolean Data Flow.