Computing supremal controllable language for the crankshaft machining plant using TCT software: Transition table results

PLSUP is results of computing supremal controllable language of a crankshaft machining plant, and it provides the transition table where the system behavior meets buffer specifications. CONSUP is control data of the system, which is displayed as a list of supervisor states where disabling occurs. PLSR is a reduced supervisor for crankshaft machining plant. PLSRC is a control data with reduced number of states.