: In the case of IEC actions [...] . There are "IEC actions" and "step actions". IEC
of steps and IEC actions [...] for each step and each IEC [...] for step or IEC action
is active. There are "IEC [...] . Transitions which reference