Sequential Function Chart (SFC) is one of the PLC programming languages defined in the IEC-61131 standard. SFC has been increasingly used in practical applications because even small controllers can ...

This paper shows a method for analyzing control structures about sequential function chart elements which are defined by IEC 61131-3. Using the method, we can find the bugs, and we can fix the bugs ...