Frank,
I just commited an update on fsm_utils.py where I added two
helper functions:
fsm_concatenate(f1,f2)
that concatenates two FSMs into one (this is what you need in your
project)
and
fsm_radix(f,n) which generates the equivalent FSM resulting from
operating the original FSM for n steps.
Achilleas