> Poszczegolne "linie" sa wykonywane kolejno ? jest to zagwarantowane ?

Nie, jest to wymuszone. Sterownik nie jest w stanie uruchomić tylu wątków
jednocześnie, aby przetworzyć każdy szczebel LD w tym samym czasie.
Dlatego robi to sekwenycjnie.

>
> A i tak widze mozliwy hazard w jednej "linii", np
>
> --|B1|--*---(S2)----(R1)---
> |
> |
> ---(S3)---(S4)--(S5)---
>

Co nazywasz hazardem? nie widzę tutaj stanów niedozwolonych.

--| Not S1 |--(Q1)--
Czy tutaj jest hazard?
Brzęczący przekaźnik nie jest hazardem, a raczej dobrym odwzorowaniem
rzeczywistości: identycznie zachowa się prawdziwy przekaźnik.

> jak bit1 jest ustawiony, to zalaczamy bit2, potem (?) resetujemy bit1,

Tak, dokładnie.

> Czyli bit1 mignie tylko chwile.

Nie, bit1 zgaśnie dopiero w następnym cyklu

>Ustawia sie bity 3, 4, 5, czy nie zdaza ?

Zdążą.
Wszystkie wejścia czytane są przed rozpoczęciem cyklu, Dane wejściowe danej
linii nie są aktualizowane w czasie wyliczania tej linii. Dane wyjściowe
aktualizowane są po zakończeniu cyklu.
Jeżeli w pascalu napiszesz a := not a to program się zawiesi?
przecież po wykonaniu linii a, jest not a, więc wejściowe a nie jest a tylko
not a, ale wcześniej było a, czyli teraz powinno być a czy not a ? :-)))))

--
Desoft