is TRUE . [...] condition is TRUE , [...] is always TRUE ,

is TRUE the first time [...] is TRUE , [...] transition with a TRUE

of the transition is TRUE . [...] the value TRUE .

are set to TRUE . [...] of the state are TRUE . Tip

are set to TRUE . [...] of the state are TRUE . Tip

TRUE (event

is true, a state [...] PowerUp is TRUE .

, the condition is TRUE [...] Ready := TRUE; RETURN