setting xEnable to TRUE [...] Enable BOOL TRUE [...] Busy BOOL TRUE

Execute := TRUE , udi [...] for exactly one [...] Abort BOOL TRUE : Action

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

outputs for exactly one [...] FALSE TRUE: Action is [...] xDone BOOL TRUE

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

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

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

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

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

model. One main part [...] Complete is TRUE , xBusy ⇒ TRUE At its