Как работает шаг SFC, написанный на SFC?

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

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

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

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

IN1
IN2
IN3

OUT3

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

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

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

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

1 Так есть
2 Зачем описывать одно и тоже. Автоматы в ПОУ - их локальные (static) переменные. Отсюда и пляшите коли поняли

Цитата:

---

Сообщение от rapucha

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

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

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

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

IN1
IN2
IN3

OUT3

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

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

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

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

---

Почитайте статьи Петрова на сайте Пролога http://prolog-plc.ru/pb1
начните с этой Отладка прикладных ПЛК программ в CoDeSys (часть 6)

Прочел.
Но не понял, откуда вытекает что маркер пойдет так, а не прошагает весь внутренний шаг подряд. Те почему не
OUT1 =>IN1=>IN2=>IN3=>OUT3..

Видимо, я не понимаю, что такое шаг SFC, написанный на SFC. Во что "раскрывается" эта вложенная структура.

Цитата:

---

Видимо, я не понимаю, что такое шаг SFC, написанный на SFC

---

Вы ж вроде в жаве юзаете - банальный switch в switche. Чего непонятно-то ?
Вложенная вызывается только при вызове "владельца". "Владелец" отдыхает - все вложенные "морская фигура замри"

Цитата:

---

откуда вытекает что маркер пойдет так, а не прошагает весь внутренний шаг подряд. Те почему не
OUT1 =>IN1=>IN2=>IN3=>OUT3..

---

А откуда вытекает что при вызове OUT1 1 раз, он должен самовызваться 3 раза ?
Хотите что внутрянку прошагал от начала до конца - при входе в OUT1 сброс внутрянки на IN1, а в условиях выхода из OUT1 : .. AND "внутренний автомат завершил IN3". Тока получится обычный линейный switch/case c просто вынесенной частью кода

Цитата:

---

Сообщение от Валенок

Вы ж вроде в жаве юзаете - банальный switch в switche. Чего непонятно-то ?
Вложенная вызывается только при вызове "владельца". "Владелец" отдыхает - все вложенные "морская фигура замри"

---

То, что он там -- это я вижу) Мне было неочевидно, что у внутреннего свой по сути источник тактовых циклов.

Цитата:

---

А откуда вытекает что при вызове OUT1 1 раз, он должен самовызваться 3 раза ?

---

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

Цитата:

---

Хотите что внутрянку прошагал от начала до конца - при входе в OUT1 сброс внутрянки на IN1, а в условиях выхода из OUT1 : .. AND "внутренний автомат завершил IN3"

---

Я, еще раз -- не понимаю, из какого места в описании SFC вытекает то поведение, что есть. Это меня беспокоит, потому как я очевидно не умею это описание читать правильно.

Вот единственное что похожего нашел -- в разделе 2.6.1 собственно стандарта МЭК 61131:

Цитата:

---

If any part of a program organization unit is partitioned into SFC elements, the entire program organization unit shall be so partitioned. If no SFC partitioning is given for a program organization unit, the entire program organization unit shall be considered to be a single action which executes under the control of the invoking entity.

---

Деццтво какое-то.
Вы даже не различаете пользовательский цикл (из нескольких шагов, далее - ПЦ )) и сам автомат (SFC)
Впилили in1-2-3 и решили шо это и есть автомат. А это просто случайное совпадение Вашего ПЦ и шагов автомата.
Автомат не имеет начала и конца. ПЦ может начаться где угодно и закончится где угодно, иметь параллельные ветки и любую последовательность исполнения шагов. И как система определит Ваши замыслы по завершению ?

Раскройте мысль, если не трудно. Что именно вы называет автоматом -- сам движок SFC?

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

Когда мы перешли на OUT2, у нас два активных шага -- OUT2, и in1. Из обоих переход разрешен. Откуда вытекает то, что управление получит именно OUT3? Если можете объяснить, буду благодарен.

Цитата:

---

Что именно вы называет автоматом -- сам движок SFC?

---

Автомат состояния конкретного POU (на SFC)

Термин "активный" - специально придуман чтоб запудрить мозг начинающим в SFC
Есть автомат. Он указывает на кокой-то шаг. Вот и вся мифическая "активность"
Работа шага - это его вызов

Цитата:

---

Когда мы перешли на OUT2, у нас два активных шага -- OUT2, и in1.

---

Когда перешли на OUT2 - in'ы тупо не вызываются. Их ведь вызывает OUT1
"Активный" in - первый в очереди к зубному. А зубной - на обеде

PS
Тем кто бросается в SFC настоятельно рекомендовал бы проюзать case/switch. Просто чтоб прочуйствовать работу автоматов. И тогда снимутся все вопросы про SFC

Цитата:

---

Сообщение от Валенок

Тем кто бросается в SFC настоятельно рекомендовал бы проюзать case/switch. Просто чтоб прочуйствовать работу автоматов. И тогда снимутся все вопросы про SFC

---

Вы хотите сказать, что там примерно так для SFC, вложенного в SFC ?



WHILE TRUE i := (i+1) MOD N

CASE i OF

1: Do1;
2: Do2;
2: Do3;
..
k: DoK

WHILE TRUE j := (j+1) MOD L

CASE j OF

1: DoAnother1;
2: DoAnother2;
3: DoAnother3;
..
L: DoAnotherL;

END_CASE
EXIT;

END_WHILE

..

N-1: DoN-1;
N: DoN ;

END_CASE

END_WHILE