Research Article

Component-Based Formal Modeling of PLC Systems

Figure 8

Sequence instruction translation rule.
721624.fig.008