Mod4Counter
This page contains an applet that should appear as a separate window.
This is a two bit counter example.
\
\
MoML specification for this model.
\