Abstract: Function block diagrams (FBD) are widely used for implementation of programmable logic control (PLC) in safety critical domains and in the conventional factory automation. With the growing ...