State logic
A state logic control system is a programming method created for PLCs.
A state logic control system uses a state transition diagram as a model of reality, thus using the fundamentals of finite-state machine theory as the basis of a programming language. State logic enables users to model the application they are trying to control by using a hierarchy that consists of Tasks, subdivided by States which are described by Statements.