Elevator control logic is very complicated, and therefore, it is troublesome to program and implement it correctly on programmable logic controller (PLC). The paper describes the method to model ...

It is defined by a weighted directed graph. The nodes are the operations to be executed. The arcs between the nodes represent their dependencies. The weights are used to determine the control flow of ...