fsm-test States

Name Context Description Final Initial Composite Entry Action Exit Action

Root

-

true

true

true

-

-

A

Root

State A

false

true

true

-

-

AA

A

State AA

false

true

false

-

-

AB

A

State AB

false

false

false

-

-

B

Root

false

false

true

-

-

BA

B

State BA

false

false

false

-

-

BB

B

State BB

false

true

false

-

-

C

Root

true

false

false

-

-

fsm-test Transitions

Start State End State Description Local Guard Action

A

C

A → C when A_C

false

AA

AA

Local transition AA → AA when (AA_AA)

true

AA

AB

AA → AB when AA_AB

false

AA

B

AA → B when AA_B

false

AA

BB

AA → BB when (AA_BB)

false

AB

AA

AB → AA when AB_AA

false

AB

AB

AB → AB when AB_AB

false

B

C

B → C when B_C

false

BA

A

BA → A when BA_C

false

BA

BB

BA → BB when BA_BB

false

BB

BB

Local transition BB → BB when BB_BB

true

BB

BA

false

VV → BA when BB_BA

BB

C

BB → C when BB_C

false