Может быть, я проглядел документацию..

Но, короче, на эмуляторе получается так -- маркер управления передается во внутренний блок, проходит там один внутренний шаг и покидает блок, возвращаясь наружу. При этом позиция во внутреннем блоке запоминается. На следующем проходе маркер попадает к очередному невыполненному внутреннему шагу, делает его и снова выходит наружу.

Т.е. в программе такого вида:

OUT1
OUT2 (*OUT2 написан на SFC и состоит из шагов IN1, IN2, IN3*)
IN1
IN2
IN3
OUT3

маркер ходит так:

OUT1 =>IN1=>OUT3=>OUT1=>IN2=>OUT3=>OUT1=>IN3>OUT3 ...

Логика в этом может и присутствует, но не самая очевидная.

Вопросы:
1) Это так и есть?
2) А в каком месте это описано, ткните пож?