outputs for exactly one [...] Done BOOL TRUE : Action [...] xBusy BOOL TRUE

Complete is TRUE , xBusy ⇒ TRUE Executing [...] Complete is TRUE Cleaning

xComplete is TRUE , xBusy ⇒ TRUE [...] Complete is TRUE Cleaning

Complete is TRUE , xBusy ⇒ TRUE Executing [...] Complete is TRUE Cleaning

outputs for exactly one [...] . Output xDone BOOL TRUE [...] completed xBusy BOOL TRUE

outputs for exactly one [...] Done BOOL TRUE : Action [...] Busy BOOL TRUE : Function

xComplete is TRUE , xBusy ⇒ TRUE [...] Complete is TRUE Cleaning

outputs for exactly one [...] this input is TRUE [...] Error = TRUE (without any

outputs for exactly one [...] this input is TRUE [...] Error = TRUE (without any

one of the [...] TRUE the state STATE [...] Abort is TRUE the state