Arduino Tumble Dryer State machine

Its simple.
I'm not sure if this is quite by the book.   All three states in the yellow box can lead to FULL or COOL_SPIN
Pressing the button on the machine cycles through ready, run and cool spin.   What more do you need?

you can get the code here :
http://jtumbledryer.blogspot.co.uk/p/pins-define-motordir-5-define-motoren.html