Research Article

Component-Based Formal Modeling of PLC Systems

Figure 4

BIP model of function call.
721624.fig.004