/* * A first State Machine resource. */ input signal x input signal y state State1 set z = false if x == true goto State2 end
/* * A second State Machine resource. */ output signal z state State2 if x == false and y == true goto State1 end