Finite State Machine made of JK Flip Flops in Logisim help
I've checked through your posted work. It's all good and accurate. Put the circuit into Circuit Wizard and it works absolutely fine. Cycles through the 5 states, no problem.