fsm-washer States

Name Context Description Final Initial Composite Entry Action Exit Action

Root

-

true

true

true

-

-

Running

Root

Running State

false

true

true

-

-

End

Root

State End

true

false

false

-

-

Washing

Running

Washing State

false

true

false

-

-

Rinsing

Running

Rising State

false

false

false

-

-

Drying

Running

Drying State

true

false

false

-

-

PowerOff

Root

PowerOff State

false

false

false

-

-

fsm-washer Transitions

Start State End State Description Local Guard Action

Running

End

Running → End

false

Running

PowerOff

Running → PowerOff

false

Washing

Rinsing

Washing → Rinsing

false

Rinsing

Drying

Rinsing → Drying

false

PowerOff

Running

PowerOff → Running

false